Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles المزيد من الكتب المشابهة
Computability Theory
٢٠١٧
Structure And Randomness In Computability And Set Theory
٢٠٢٠
Computable Structures and the Hyperarithmetical Hierarchy
٢٠٠٠
Aspects of Mathematical Logic
٢٠١١
Proof and Computation
٢٠١٨
Effective Mathematics of the Uncountable
٢٠١٣
Combinatorial Set Theory
٢٠١٧
PROOF AND COMPUTATION II
٢٠٢١
Set Theory: Questions and Answers
٢٠١٨
Elementary Induction on Abstract Structures
٢٠١٤
Proof Complexity
٢٠١٩
Completeness Theory for Propositional Logics
٢٠٠٨
Proof Theory
٢٠١٣
The Structure of the Real Line
٢٠١١
Complexity, Logic, and Recursion Theory
٢٠١٩