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
Effective Mathematics of the Uncountable
2013
Set Theory: Questions and Answers
2018
Proof Theory
2013
Proof Complexity
2019
Mathematical Logic and Theoretical Computer Science
2020
Theory of Computational Complexity
2014
Twenty Five Years of Constructive Type Theory
1998
Entropy, Search, Complexity
2007
Sets And Computations
2017
Measure Theory: Questions and Answers (2020 Edition)
2019