Springer · Springer Berlin Heidelberg · World Scientific Publishing Company
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Higher Recursion Theory | Taschenbuch | 978-3-642-05742-7 | 2010 | ||
| Higher Recursion Theory | Hardcover | 978-0-387-19305-2 | 1991 | ||
| Higher Recursion Theory | Gebundene Ausgabe | 978-3-540-19305-0 | 1990 | ||
| Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo held at Montecatini Terme, ... Mathematics / C.I.M.E. Foundation Subseries) | Taschenbuch | 978-3-540-52734-3 | 1990 | Steven Homer · Anil Nerode · Richard A. Platek · Andre Scedrov | |
| Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 | " | 978-3-540-52772-5 | 1990 | Klaus Ambos-Spies · Gert H. Müller | |
| Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 | " | 978-3-540-15673-4 | 1985 | Heinz-Dieter Ebbinghaus · Gert H. Müller | |
| Saturated Model Theory | Hardcover | 978-981-283-381-5 | 2009 | ||