Springer · Vieweg+Teubner Verlag
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Büchi's Monadic Second Order Successor Arithmetic | Taschenbuch | 978-3-662-35848-1 | 1970 | ||
| Decidable Theories: Vol. 1: Büchi's Monadic Second Order Successor Arithmetic | " | 978-3-540-04909-8 | 2009 | ||
| Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen (Theorie der Informatik) | " | 978-3-528-05199-0 | 1992 | ||
| Formalisieren und Beweisen: Logik für Informatiker | " | 978-3-528-14757-0 | 2013 | ||
| Formalisieren und Beweisen: Logik für Informatiker | Broschiert | 978-3-528-04757-3 | 1990 | ||
| GI-4.Jahrestagung: Berlin, 9.-12. Oktober 1974 | Taschenbuch | 978-3-662-39104-4 | 1975 | ||
| Pioniere der Informatik | " | 978-3-642-63660-8 | 1998 | ||
| Pioniere der Informatik: Ihre Lebensgeschichte im Interview | Gebunden | 978-3-540-64857-4 | 1998 | Anette Braun · Peter Eulenhöfer · Heike Stach · Klaus Städtler · W. Brauer | |
| The Monadic Second Order Theory of All Countable Ordinals. Decidable Theories II | Paperback | 978-0-387-06345-4 | 1973 | J. Richard Buchi | |