Regular Algebra and Finite Machines More Books Like This
Computability and Unsolvability
2013
Set Theory and Logic
2012
A Mathematical Introduction to Logic
2001
Logic and Algebra
2017
Mathematical Logic and Theoretical Computer Science
2020
Computable Structures and the Hyperarithmetical Hierarchy
2000
Transition to Analysis with Proof
2017
Theory of Computation
2014
Mathematical Logic
2018
Real Analysis with an Introduction to Wavelets and Applications
2004
Proof and Computation
2018
A First Course in Mathematical Logic and Set Theory
2015
Infinite Words
2004
The Theory of Functions of Real Variables
2012
Logic for Computer Science
2015