Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95)

Book

Aspects of Constructibility (Lecture Notes in Mathematics, 354)

Book

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 (Lecture Notes in Mathematics, 1141)

Book

Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)

Book

Nonstandard Analysis - Recent Developments (Lecture Notes in Mathematics, 983)

Book

The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)

Book

Stability of Unfoldings (Lecture Notes in Mathematics, 393)

Book

Lectures on Summability (Lecture Notes in Mathematics, 107)