Springer Introduction to Computation: Haskell, Logic and Automata

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

Proofs: A Long-Form Mathematics Textbook (The Long-Form Math Textbook Series)