Spring Reading Challenge
Genres

Recursion Theory


Recursion Theory Books

Computability: An Introduction to Recursive Function Theory
Logic, Induction and Sets (London Mathematical Society Student Texts, 56)
Computability: Turing, Godel, Church, and Beyond
Computability Theory (Student Mathematical Library)
Handbook of Computability Theory
Recursion Theory, its Generalisations and Applications (London Mathematical Society Lecture Note Series, Series Number 45)
Computational Complexity of Logical Theories
Recursive Function Theory and Logic
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, 120)
Computability and Complexity Theory (Texts in Computer Science)
Definability and Computability (Siberian School of Algebra and Logic)
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
Provability, Computability and Reflection
Computable Structures and the Hyperarithmetical Hierarchy (Studies in Logic and the Foundations of Mathematics)
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
More recursion theory books...