Sannella, Donald, <br/><br/>
Introduction to computation:  haskell, logic and automata / 
Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler 
 -   
 - xvi, 366 pages :  Illustration ;  27 cm. 
<br/><br/> Include index 
<br/><br/><label>ISBN: </label>9783030769079 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science--Mathematics