A Course in Mathematical Logic for Mathematicians 비슷한 책 더 보기

Logic and Algebra Logic and Algebra
Logic and Algebra
2017년
Sets, Models and Proofs Sets, Models and Proofs
Sets, Models and Proofs
2018년
Many-Dimensional Modal Logics: Theory and Applications Many-Dimensional Modal Logics: Theory and Applications
Many-Dimensional Modal Logics: Theory and Applications
2003년
Algebraic and Proof-theoretic Aspects of Non-classical Logics Algebraic and Proof-theoretic Aspects of Non-classical Logics
Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007년
Set Theory and Logic Set Theory and Logic
Set Theory and Logic
2012년
A Geometry of Approximation A Geometry of Approximation
A Geometry of Approximation
2008년
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2009년
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
Mathematical Logic and Theoretical Computer Science
2020년
A Mathematical Introduction to Logic A Mathematical Introduction to Logic
A Mathematical Introduction to Logic
2001년
Computable Structures and the Hyperarithmetical Hierarchy Computable Structures and the Hyperarithmetical Hierarchy
Computable Structures and the Hyperarithmetical Hierarchy
2000년
Realizability Realizability
Realizability
2008년
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998년
Proof and Computation Proof and Computation
Proof and Computation
2018년
Comprehensive Mathematics for Computer Scientists 1 Comprehensive Mathematics for Computer Scientists 1
Comprehensive Mathematics for Computer Scientists 1
2006년
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2022년