Sets, Models and Proofs More Books Like This

A Course in Mathematical Logic for Mathematicians A Course in Mathematical Logic for Mathematicians
2009
Logic and Algebra Logic and Algebra
2017
Algebraic and Proof-theoretic Aspects of Non-classical Logics Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007
Advances in Mathematical Logic Advances in Mathematical Logic
2022
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
2020
Proof and Computation Proof and Computation
2018
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
2015
A Course on Mathematical Logic A Course on Mathematical Logic
2008
Sets And Computations Sets And Computations
2017
Mathematical Logic Mathematical Logic
2018
SET THEO & FOUNDATION MATH (V2) SET THEO & FOUNDATION MATH (V2)
2022
Fundamentals of Mathematical Logic Fundamentals of Mathematical Logic
2018
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
2022
Logical Foundations of Computer Science Logical Foundations of Computer Science
2009