Tipsa dina vänner om produkten:
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic Crossley 1993 edition
Pris
SEK 1.579
Beställningsvara
Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
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
| Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Antal enheter | 2 |
| Releasedatum | 26 januari 1994 |
| ISBN13 | 9780817636906 |
| Utgivare | Birkhauser Boston Inc |
| Antal sidor | 816 |
| Mått | 155 × 235 × 44 mm · 1,33 kg |
| Språk | Engelska |
| Redaktör | Crossley, John N. |
| Redaktör | Remmel, Jeffrey B. |
| Redaktör | Shore, Richard |
| Redaktör | Sweedler, Moss E. |
Fler produkter med Crossley
Visa allaSe alt med Crossley ( t.ex. CD , Inbunden Bok , Bok och Pocketbok )