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
SET THEO & FOUNDATION MATH (V2)
2022
A Beginner's Further Guide to Mathematical Logic
2017
A First Course in Mathematical Logic and Set Theory
2015
A Transition to Proof
2019
An Introduction to the Analysis of Algorithms
2018
A Logical Introduction to Proof
2012
A Course in Mathematical Logic for Mathematicians
2009
Computability and Complexity Theory
2011