000 00621nam a2200133Ia 4500
008 2212144s2021 xx 000 0 und d
020 _a9783030769086
041 _aeng
100 _aDonald Sannella, Michael Fourman, Haoran Peng, Philip Wadler.
245 _aIntroduction to Computation : Haskell, Logic and Automata
260 _aCham
_bSpringer
_c2021
650 _aComputer science. Computer science-Mathematics. Algorithms. Theory of Computation. Mathematics of Computing. Computer Science Logic and Foundations of Programming. Design and Analysis of Algorithms.
856 _uhttps://doi.org/10.1007/978-3-030-76908-6
999 _c89376
_d89376