Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles More Books Like This
Computability Theory
2017
Structure And Randomness In Computability And Set Theory
2020
Computable Structures and the Hyperarithmetical Hierarchy
2000
Aspects of Mathematical Logic
2011
Proof and Computation
2018
Effective Mathematics of the Uncountable
2013
Combinatorial Set Theory
2017
PROOF AND COMPUTATION II
2021
Set Theory: Questions and Answers
2018
Elementary Induction on Abstract Structures
2014
Completeness Theory for Propositional Logics
2008
Proof Theory
2013
The Structure of the Real Line
2011
Complexity, Logic, and Recursion Theory
2019
Logic and Algebra
2017