TY  - GEN
AU  - Sannella, Donald
AU  - Michael Fourman
AU  - Haoran Peng
AU  - Philip Wadler
TI  - Introduction to Computation: Haskell, Logic and Automata
SN  - 9783030769079
U1  - 511.35 SAN 
PY  - 2021///
CY  - Switzerland
PB  - Springer
KW  - Computation
KW  - Haskell
KW  - Recursion
KW  - Karnaugh Maps
N2  - Introduces computation, spanning the key concepts and methods

Highly intuitive and accessible explanatory style

Firm grounding in logic and automata, with an approach using Haskell
ER  -