TY  - BOOK
AU  - Sannella,Donald
AU  - Fourman, Michael,
AU  - Wadler, Philip,
AU  - Haoran, Peng,
TI  - Introduction to computation: haskell, logic and automata 
SN  - 9783030769079
PY  - 2021///
CY  - Germany
PB  - Springer
KW  - Computer science
KW  - Mathematics
N1  - Include index
ER  -