Tallenna
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.
- Alaotsikko
- In Honor of Anil Nerode’s Sixtieth Birthday
- Toimittaja
- John N. Crossley, Jeffrey B. Remmel, Richard Shore, Moss E. Sweedler
- Painos
- Softcover reprint of the original 1st ed. 1993
- ISBN
- 9781461267089
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 14.2.2013
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 816
