Computability More Books Like This
Computability and Unsolvability
2013
Proof and Computation
2018
Theory of Computation
2014
SET THEO & FOUNDATION MATH (V2)
2022
A Mathematical Introduction to Logic
2001
Recursion Theory
2018
A Course in Mathematical Logic for Mathematicians
2009
Introduction to Proof in Abstract Mathematics
2014
A Concise Introduction to Mathematical Logic
2010
A First Course in Mathematical Logic and Set Theory
2015
Computability and Complexity Theory
2011
Logical Foundations of Computer Science
2009
Proofs and Fundamentals
2011
Set Theory and Logic
2012
Computable Structures and the Hyperarithmetical Hierarchy
2000