Logic (Introductory monographs in mathematics)
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Functional Analysis and Its Applications: International Conference, Madras, 1973 (Lecture Notes in Mathematics, 399)
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic (Lecture Notes in Mathematics, 70)
Computing in Systems Described by Equations (Lecture Notes in Computer Science, 58)
The Core of Mathematics An Introduction to Modern Mathematics
Seminar on Functional Operators and Equations: Forschungsinstitut Für Mathematik, Eth, Zürich, October 1965 - July 1966 (Lecture Notes in Mathematics, 33)
Logic and Structure (Universitext)
Curvature and Topology of Riemannian Manifolds: Proceedings of the 17th International Taniguchi Symposium held in Katata, Japan, August 26-31, 1985 (Lecture Notes in Mathematics, 1201)
