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
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
Proofs and Algorithms
2011
Theory of Computation
2014