4 books • 2 series
Inexhaustibility (Lecture Notes in Logic)
Goedel's Theorem
Inexhaustibility: A Non-Exhaustive Treatment
Provability and Truth (Stockholm Studies in Philosophy)