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
Proof and Computation
2018
PROOF AND COMPUTATION II
2021
Set Theory: Questions and Answers
2018
Elementary Induction on Abstract Structures
2014
Proof Theory
2013
Complexity, Logic, and Recursion Theory
2019
Logic and Algebra
2017
Mathematical Logic and Theoretical Computer Science
2020
The Theory of Functions of Real Variables
2012
Theory of Computational Complexity
2014
A First Course in Mathematical Logic and Set Theory
2015
Foundations of Stochastic Analysis
2013
How to Measure the Infinite
2019