Automata and Computability (Undergraduate Texts in Computer Science)

Programming and Meta in Scheme (Undergraduate Texts Computer Science)

Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)

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

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