Spar
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.
- Undertittel
- In Honor of Anil Nerode’s Sixtieth Birthday
- Opplag
- Softcover reprint of the original 1st ed. 1993
- ISBN
- 9781461267089
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 14.2.2013
- Antall sider
- 816
