
Tell your friends about this item:
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic 1993 edition
Crossley
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic 1993 edition
Crossley
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.
816 pages, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Number of units | 2 |
Released | January 26, 1994 |
ISBN13 | 9780817636906 |
Publishers | Birkhauser Boston Inc |
Pages | 816 |
Dimensions | 155 × 235 × 44 mm · 1.33 kg |
Editor | Crossley, John N. |
Editor | Remmel, Jeffrey B. |
Editor | Shore, Richard |
Editor | Sweedler, Moss E. |
Show all
More by Crossley
See all of Crossley ( e.g. CD , Hardcover Book , Book and Paperback Book )