Sets, Models and Proofs More Books Like This
A Course in Mathematical Logic for Mathematicians
2009
Logic and Algebra
2017
Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007
Advances in Mathematical Logic
2022
Mathematical Logic and Theoretical Computer Science
2020
Proof and Computation
2018
Combinatorial Set Theory
2011
A First Course in Mathematical Logic and Set Theory
2015
A Course on Mathematical Logic
2008
Sets And Computations
2017
Mathematical Logic
2018
SET THEO & FOUNDATION MATH (V2)
2022
Fundamentals of Mathematical Logic
2018
Logic, Language, Information, and Computation
2022
Logical Foundations of Computer Science
2009