Computability Theory More Books Like This
Computable Structures and the Hyperarithmetical Hierarchy
2000
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
Measure Theory: Questions and Answers (2020 Edition)
2019
Real Analysis: Questions and Answers
2018
Developments in Language Theory
2008
Lectures on Advances in Combinatorics
2008