| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Berechnungstheorie für Informatiker | Taschenbuch | 978-3-519-12258-6 | 1992 | Peter Läuchli | |
| Berechnungstheorie für Informatiker | " | 978-3-519-02258-9 | 1987 | " | |
| Foundations of Mathematics: Questions of Analysis, Geometry & Algorithmics | Hardcover | 978-0-387-56422-7 | 1993 | ||
| Foundations of Mathematics: Questions of Analysis, Geometry & Algorithmics | Gebunden | 978-3-540-56422-5 | 1993 | ||
| Foundations of Mathematics: Questions of Analysis, Geometry & Algorithmics | Taschenbuch | 978-3-642-78054-7 | 1993 | ||
| Introduction to the theory of computation | Hardcover | 978-0-12-239250-4 | 1973 | ||
| Metamathematik der Elementarmathematik | Taschenbuch | 978-3-540-12151-0 | 1983 | ||
| Symposium on Semantics of Algorithmic Languages | " | 978-3-540-05377-4 | 2009 | ||
| The Combinatory Programme | Hardcover | 978-0-8176-3801-6 | 1994 | ||
Academic Press · Birkhauser · Springer · Teubner