| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Axiomatic Set Theory | Paperback | 978-0-387-90050-6 | 1973 | Wilson M. Zaring |
| Introduction to Axiomatic Set Theory | Hardcover | 978-0-387-90683-6 | 1981 | " |
| Introduction to Axiomatic Set Theory | Paperback | 978-0-387-05302-8 | 1971 | " |
| Introduction to Axiomatic Set Theory - ISBN-Doppelvergabe, siehe 90683-5 - | " | 978-0-387-90024-7 | 1971 | " |
| Logic Symposia, Hakone, 1979, 1980: Proceedings | " | 978-0-387-11161-2 | 1981 | Japan) Logic Symposia (1979 Hakone-machi · G. H. Muller · T. Tugue |
| Proof theory | 978-0-444-10492-2 | 1975 | ||
| Proof Theory | Hardcover | 978-0-7204-2277-1 | 1975 | |
| Proof Theory: Second Edition | Paperback | 978-0-486-49073-1 | 2013 | |
| Two Applications of Logic to Mathematics | " | 978-0-691-61022-1 | 2015 | |
| Two Applications of Logic to Mathematics | Hardcover | 978-0-691-08212-7 | 1978 | |
Dover Publications · Elsevier · Elsevier Science · Princeton University Press · Springer