Tipsa dina vänner om produkten:
Buchi's Monadic Second Order Successor Arithmetic - Lecture Notes in Mathematics Dirk Siefkes German, 1970 edition
Pris
SEK 519
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
Buchi's Monadic Second Order Successor Arithmetic - Lecture Notes in Mathematics
Dirk Siefkes
133 pages, black & white illustrations, bibliography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 1970 |
| ISBN13 | 9783662358481 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 133 |
| Mått | 178 × 254 × 8 mm · 267 g |
| Språk | Tyska |
Fler produkter med Dirk Siefkes
Visa alla![Cover for Dirk Siefkes · Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview (Pocketbok) [Softcover Reprint of the Original 1st 1999 edition] (2012)](https://imusic.b-cdn.net/images/item/original/608/9783642636608.jpg?dirk-siefkes-2012-pioniere-der-informatik-ihre-lebensgeschichte-im-interview-pocketbok&class=scaled&v=1436890510)
![Cover for Dirk Siefkes · Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview (Inbunden Bok) [1999 edition] (1998)](https://imusic.b-cdn.net/images/item/original/574/9783540648574.jpg?dirk-siefkes-1998-pioniere-der-informatik-ihre-lebensgeschichte-im-interview-inbunden-bok&class=scaled&v=1436890513)
![Cover for Dirk Siefkes · Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen - Studien Zur Wissenschafts- Und Technikforschung (Pocketbok) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/000/9783824443000.jpg?dirk-siefkes-1998-sozialgeschichte-der-informatik-kulturelle-praktiken-und-orientierungen-studien-zur-wissenschafts-und-technikforschung-pocketbok&class=scaled&v=1587350348)
![Cover for Dirk Siefkes · Formale Methoden und Kleine Systeme - Theorie der Informatik (Pocketbok) [1993 edition] (1992)](https://imusic.b-cdn.net/images/item/original/990/9783528051990.jpg?dirk-siefkes-1992-formale-methoden-und-kleine-systeme-theorie-der-informatik-pocketbok&class=scaled&v=1610575180)
![Cover for Dirk Siefkes · Formalisieren Und Beweisen: Logik Für Informatiker (Lehrbuch Informatik) (German Edition) (Pocketbok) [German, 2. Aufl. 1992 edition] (1992)](https://imusic.b-cdn.net/images/item/original/570/9783528147570.jpg?dirk-siefkes-1992-formalisieren-und-beweisen-logik-fur-informatiker-lehrbuch-informatik-german-edition-pocketbok&class=scaled&v=1543872792)
![Cover for Dirk Siefkes · Formalisieren und Beweisen - Lehrbuch Informatik (Pocketbok) [1990 edition] (1990)](https://imusic.b-cdn.net/images/item/original/573/9783528047573.jpg?dirk-siefkes-1990-formalisieren-und-beweisen-lehrbuch-informatik-pocketbok&class=scaled&v=1543925856)
![Cover for Dirk Siefkes · Gi-4.Jahrestagung: Berlin, 9.-12. Oktober 1974 - Lecture Notes in Computer Science (Pocketbok) [1975 edition] (1975)](https://imusic.b-cdn.net/images/item/original/044/9783662391044.jpg?dirk-siefkes-1975-gi-4-jahrestagung-berlin-9-12-oktober-1974-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1414069000)
Se alt med Dirk Siefkes ( t.ex. Pocketbok och Inbunden Bok )