Meiner · Springer · Springer Berlin Heidelberg · Teubner
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Aufz Hlbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einf Hrung in Die Theorie Der Rekursiven Funktionen. | Taschenbuch | 978-3-540-05334-7 | 1971 | H. Hermes | |
| Einführung in die mathematische Logik | Broschiert | 978-3-519-12201-2 | 1991 | ||
| Enumerability, Decidability , Computability. An Introduction to the Theory of Recursive Functions | Gebundene Ausgabe | 978-3-540-04501-4 | 1969 | ||
| Introduction to Mathematical Logic | Paperback | 978-3-540-05819-9 | 1973 | ||
| Nachgelassene Schriften und Wissenschaftlicher Briefwechsel: Nachgelassene Schriften und Wissenschaftlicher Briefwechsel. Bd 1. Nachgelassene Schriften. ... mathematischer Vorträge Freges: Bd 1 | Gebundene Ausgabe | 978-3-7873-0490-5 | 1983 | Friedrich Kambartel · Friedrich Kaulbach · Lothar Kreiser | |
| Numbers | Paperback | 978-0-387-97497-2 | 1990 | Heinz-Dieter Ebbinghaus · Friedrich Hirzebruch · Max Koecher · Klaus Mainzer · Jürgen Neukirch · Alexander Prestel · Reinhold Remmert | |
| Numbers | Gebundene Ausgabe | 978-3-540-97202-0 | 1990 | Heinz D. Ebbinghaus · Friedrich Hirzebruch · Max Koecher · Klaus Mainzer · Jürgen Neukirch · Alexander Prestel · Reinhold Remmert | |
| Term Logic with Choice Operator | Taschenbuch | 978-3-540-04899-2 | 1970 | ||
| Zahlen | " | 978-3-540-55654-1 | 1992 | Heinz-Dieter Ebbinghaus · Friedrich Hirzebruch · Max Koecher · Klaus Mainzer · Jürgen Neukirch · Alexander Prestel · Reinhold Remmert | |