Computability and Complexity: Foundations Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science)

Proofs and Algorithms: An Introduction to Logic Computability (Undergraduate Topics in Computer Science)

Automata and Computability (Undergraduate Texts in Computer Science)

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Scientific Computing)

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)