
Vertel uw vrienden over dit artikel:
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
Aantal eenheden | 2 |
Vrijgegeven | 26 januari 1994 |
ISBN13 | 9780817636906 |
Uitgevers | Birkhauser Boston Inc |
Pagina's | 816 |
Afmetingen | 155 × 235 × 44 mm · 1,33 kg |
Taal en grammatica | Engels |
Uitgever | Crossley, John N. |
Uitgever | Remmel, Jeffrey B. |
Uitgever | Shore, Richard |
Uitgever | Sweedler, Moss E. |
Alles tonen
Meer door Crossley
Bekijk alles van Crossley ( bijv. CD , Hardcover Book , Book en Paperback Book )