Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)

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

A First Introduction to Quantum Computing and Information (Undergraduate Topics in Computer Science)

OCaml Scientific Computing: Functional Programming in Data Science and Artificial Intelligence (Undergraduate...

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