| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| ? -Bibliography of Mathematical Logic: Recursion Theory | 978-3-662-09063-3 | 2013 |
| Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 | 978-3-540-08926-1 | 2009 | Dana S. Scott |
| ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... Notes in Mathematics , Band 500) | 978-3-540-07533-2 | 2009 | Justus Diller |
| Models and Sets I | 978-3-540-13900-3 | 1984 | M. M. Richter |
| Model Theory | 978-3-540-15522-5 | 1987 | Heinz-Dieter Ebbinghaus · Wolfgang Lenski |
| #NAME?: Proof Theory Constructive Mathematics | 978-3-662-09069-5 | 2013 |
| Non-Classical Logics | 978-3-540-15521-8 | 1987 | Wolfgang Rautenberg · Wolfgang Lenski |
| Ω-Bibliography of Mathematical Logic: Classical Logic | 978-3-540-17321-2 | 1987 | Wolfgang Rautenberg · Wolfgang Lenski |
| Ω-Bibliography of Mathematical Logic: Non-Classical Logics | 978-3-662-09057-2 | 2014 | Wolfgang Rautenberg · Wolfgang Lenski |
| Omega-Bibliography of Mathematical Logic: Volumes 1-6 | 978-3-540-17457-8 | 1987 | Wolfgang Lenski |
| Proof Theory Constructive Mathematics | 978-3-540-15524-9 | 1987 | Jane E. Kister · Dirk van Dalen · Anne Troelstra · Wolfgang Lenski |
| Recursion Theory. Omega-Bibliography of Mathematical Logic - Perspectives in Mathematical Logic - Volume IV | 978-3-540-15523-2 | 1987 | Peter G. Hinman · Wolfgang Lenski |
| Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 | 978-3-540-52772-5 | 1990 | Klaus Ambos-Spies · Gerald E. Sacks |
| Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 | 978-3-540-15673-4 | 2009 | Heinz-Dieter Ebbinghaus · Gerald E. Sacks |
| Set Theory | 978-3-540-15525-6 | 1987 | Andreas R. Blass · Wolfgang Lenski |