Logic: a Brief Course More Books Like This
A Mathematical Introduction to Logic
2001
Logics for Computer Science
2018
A Concise Introduction to Mathematical Logic
2010
A Beginner's Guide to Mathematical Logic
2014
Computability and Logic
2007
Theory of Computation
2014
An Introduction to Substructural Logics
2002
Computability and Unsolvability
2013
Fundamentals of Logic and Computation
2021
Logical Foundations of Computer Science
2009
A First Course in Logic
2018
Godel's Incompleteness Theorems
1992
Logic for Computer Science
2015
Aspects of Mathematical Logic
2011
A Course on Mathematical Logic
2008