Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic - Crossley - Bücher - Birkhauser Boston Inc - 9780817636906 - 26. Januar 1994
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic 1993 edition

Preis
€ 145,99

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder

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

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Anzahl Einheiten 2
Erscheinungsdatum 26. Januar 1994
ISBN13 9780817636906
Verlag Birkhauser Boston Inc
Seitenanzahl 816
Maße 155 × 235 × 44 mm   ·   1,33 kg
Sprache Englisch  
Redakteur Crossley, John N.
Redakteur Remmel, Jeffrey B.
Redakteur Shore, Richard
Redakteur Sweedler, Moss E.

Weitere Titel von Crossley

Alle anzeigen