A Course in Mathematical Logic for Mathematicians More Books Like This

Logic and Algebra Logic and Algebra
Logic and Algebra
2017
Sets, Models and Proofs Sets, Models and Proofs
Sets, Models and Proofs
2018
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
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
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
Forcing For Mathematicians Forcing For Mathematicians
Forcing For Mathematicians
2014
A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
2006
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
Revolutions and Revelations in Computability Revolutions and Revelations in Computability
Revolutions and Revelations in Computability
2022
Algebraic Geometry and Number Theory Algebraic Geometry and Number Theory
Algebraic Geometry and Number Theory
2007