Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler. <br/><br/>
Introduction to Computation : Haskell, Logic and Automata 

 - Cham  Springer  2021 
<br/><br/><label>ISBN: </label>9783030769086 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science. Computer science-Mathematics. Algorithms. Theory of Computation. Mathematics of Computing. Computer Science Logic and Foundations of Programming. Design and Analysis of Algorithms.