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