A Mathematical Introduction to Logic More Books Like This
A Concise Introduction to Mathematical Logic
2010
A Course in Mathematical Logic for Mathematicians
2009
Logical Foundations of Computer Science
2009
Computability and Logic
2007
Logics for Computer Science
2018
SET THEO & FOUNDATION MATH (V2)
2022
Computable Structures and the Hyperarithmetical Hierarchy
2000
Set Theory and Logic
2012
Logic: a Brief Course
2012
Sets, Models and Proofs
2018
Aspects of Mathematical Logic
2011
Many-Dimensional Modal Logics: Theory and Applications
2003
A First Course in Mathematical Logic and Set Theory
2015
Logic for Computer Science
2015
Proof and Computation
2018