Büchi's monadic second order successor arithmeticDirk Siefkes
Büchi's monadic second order successor arithmetic
Dirk Siefkes · 1970
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1970
- Language
- German
- Publisher
- Springer
- Editions
- 2
- Pages
- 133
- ISBN
- 9783662358481
Data source: Wikidata
More by Dirk Siefkes
Formale Methoden und kleine SystemeDirk Siefkes

Formale Methoden und kleine Systeme
Dirk Siefkes · 2012
Pioniere der InformatikDirk Siefkes

Pioniere der Informatik
Dirk Siefkes · 1998
Formalisieren und BeweisenDirk Siefkes

Formalisieren und Beweisen
Dirk Siefkes · 1992
Formale Methoden und kleine SystemeDirk Siefkes

Formale Methoden und kleine Systeme
Dirk Siefkes · 1992
Gi-4.JahrestagungDirk Siefkes

Gi-4.Jahrestagung
Dirk Siefkes · 1975
Sozialgeschichte der InformatikDirk Siefkes
Sozialgeschichte der Informatik
Dirk Siefkes · 2013