Spara
Logical Methods
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper.
- Undertitel
- In Honor of Anil Nerode’s Sixtieth Birthday
- Upplaga
- Softcover reprint of the original 1st ed. 1993
- ISBN
- 9781461267089
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2013-02-14
- Sidor
- 816
