Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic - Crossley - Böcker - Birkhauser Boston Inc - 9780817636906 - 26 januari 1994
Om omslag och titel inte matchar är det titeln som gäller

Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic 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

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 alla