Decidable Theories Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Handbook of Tableau Methods
Degrees of Unsolvability: Structure and Theory (Lecture Notes in Mathematics, 759)
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, 120)
Model Theory and Topoi (Lecture Notes in Mathematics, 445)
Infinitary Logic: In Memoriam Carol Karp (Lecture Notes in Mathematics, 492)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Proof Methods for Modal and Intuitionistic Logics
Proof Theory of Modal Logic
