Fortæl dine venner om denne vare:
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic Crossley 1993 edition
Pris
DKK 1.276
Bestilles fra fjernlager
Forventes klar til forsendelse 6. - 12. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Antal enheder | 2 |
| Udgivet | 26. januar 1994 |
| ISBN13 | 9780817636906 |
| Forlag | Birkhauser Boston Inc |
| Antal sider | 816 |
| Mål | 155 × 235 × 44 mm · 1,33 kg |
| Sprog | Engelsk |
| Klipper/redaktør | Crossley, John N. |
| Klipper/redaktør | Remmel, Jeffrey B. |
| Klipper/redaktør | Shore, Richard |
| Klipper/redaktør | Sweedler, Moss E. |