Algebraic Semantics (Lecture Notes in Computer Science, 99)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
Semantics of Type Theory Correctness, Completeness, and Independence Results
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Computational Logic
Higher-Order Computability
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Formal Groups (Lecture Notes in Mathematics, 74)
Logic of Computation
Recursion on the Countable Functionals (Lecture Notes in Mathematics, 811)
