Sets, Models and Proofs More Books Like This

A Course in Mathematical Logic for Mathematicians A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
2009
Logic and Algebra Logic and Algebra
Logic and Algebra
2017
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
Advances in Mathematical Logic Advances in Mathematical Logic
Advances in Mathematical Logic
2022
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
Mathematical Logic and Theoretical Computer Science
2020
An Invitation to Model Theory An Invitation to Model Theory
An Invitation to Model Theory
2019
Basic Set Theory Basic Set Theory
Basic Set Theory
2012
Proof and Computation Proof and Computation
Proof and Computation
2018
Realizability Realizability
Realizability
2008
Combinatorial Set Theory Combinatorial Set Theory
Combinatorial Set Theory
2011
A First Course in Mathematical Logic and Set Theory A First Course in Mathematical Logic and Set Theory
A First Course in Mathematical Logic and Set Theory
2015
A Course on Mathematical Logic A Course on Mathematical Logic
A Course on Mathematical Logic
2008
Computable Structures and the Hyperarithmetical Hierarchy Computable Structures and the Hyperarithmetical Hierarchy
Computable Structures and the Hyperarithmetical Hierarchy
2000