| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Axiomatic Set Theory | Hardcover | 978-0-387-90051-3 | 1973 | W.M. Zaring | |
| Introduction to Axiomatic Set Theory | Paperback | 978-1-4613-8170-9 | 2011 | ||
| Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 | " | 978-3-662-16838-7 | 2014 | G.H. Müller · T. Tugue | |
| Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 | Taschenbuch | 978-3-540-11161-0 | 2009 | G. H. Müller · T. Tugue | |
| Proof Theory | Hardcover | 978-0-444-10492-2 | 1975 | ||