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
Aspects of Mathematical Logic
2011
Proof and Computation
2018
Combinatorial Set Theory
2017
PROOF AND COMPUTATION II
2021
Set Theory: Questions and Answers
2018
Completeness Theory for Propositional Logics
2008
The Structure of the Real Line
2011
Complexity, Logic, and Recursion Theory
2019
Logic and Algebra
2017
Recursion Theory and Computational Complexity
2011
Nonstandard Analysis
2006
Mathematical Logic and Theoretical Computer Science
2020
Model Theory in Algebra, Analysis and Arithmetic
2014