Most Popular Books
- Mathematical Logic
- Introduction to Metamathematics (Bibliotheca Mathematica)
- Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89)
- The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions (Studies in Logic and the Foundations of Mathematics)
- Introduction to metamathematics (The University series in higher mathematics)
