Enumerability · Decidability Computability An Introduction to the Theory of Recursive Functions
Bounded Queries in Recursion Theory
Computability Theory and Applications The Art of Classical Computability
Computability and Complexity Theory
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher, Band 87) (German Edition)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
The Foundations of Computability Theory
Computability (Monographs in Theoretical Computer Science. An EATCS Series)
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)