Theory of Computation More Books Like This

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