TY - BOOK AU - Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler. TI - Introduction to Computation : Haskell, Logic and Automata SN - 9783030769086 PY - 2021/// CY - Cham PB - Springer KW - Computer science. Computer science-Mathematics. Algorithms. Theory of Computation. Mathematics of Computing. Computer Science Logic and Foundations of Programming. Design and Analysis of Algorithms UR - https://doi.org/10.1007/978-3-030-76908-6 ER -