Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, 120)
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Automata Theory and its Applications
Automatentheorie und Logik
Decidable Theories Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Enumerability, Decidability, Computability
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
Berechnungstheorie für Informatiker
