Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles 비슷한 책 더 보기

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