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
A Beginner's Further Guide to Mathematical Logic
2017
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