Computability Theory More Books Like This
Computable Structures and the Hyperarithmetical Hierarchy
2000
Proof and Computation
2018
Structure And Randomness In Computability And Set Theory
2020
Complexity, Logic, and Recursion Theory
2019
Logic and Algebra
2017
Set Theory: Questions and Answers
2018
Proof Theory
2013
Mathematical Logic and Theoretical Computer Science
2020
Theory of Computational Complexity
2014
Twenty Five Years of Constructive Type Theory
1998
Sets And Computations
2017
Measure Theory: Questions and Answers (2020 Edition)
2019
Real Analysis: Questions and Answers
2018
How to Measure the Infinite
2019
Elementary Induction on Abstract Structures
2014