Most Popular Books
- Model theory for infinitary logic;: Logic with countable conjunctions and finite quantifiers (Studies in logic and the foundations of mathematics)
- Combinatory Logic (Stud. in Logic & Maths.)
- Provability, Computability And Reflection, Volume 17 (Studies In Logic And The Foundations Of Mathematics)
- Provability, Computability and Reflection, Volume 93A (Studies in Logic and the Foundations of Mathematics)