Theory of Computation More Books Like This
Computability and Unsolvability
2013
A Mathematical Introduction to Logic
2001
Reading, Writing, and Proving
2011
Transition to Analysis with Proof
2017
Computability
1980
A Concise Introduction to Mathematical Logic
2010
A Course in Formal Languages, Automata and Groups
2008
A First Course in Mathematical Logic and Set Theory
2015
A Transition to Proof
2019
A Logical Introduction to Proof
2012
A Course in Mathematical Logic for Mathematicians
2009
Computability and Complexity Theory
2011
Elements of Computation Theory
2009
A Bridge to Advanced Mathematics
2013
Recursion Theory
2018