Search alternatives:
haskell » gaskell
Cover Image
Read Now

1
by Hall, Cordelia, O'Donnell, John
Published 2000
Springer London
Table of Contents: “...1 Introduction to Haskell -- 2 Propositional Logic -- 3 Predicate Logic -- 4 Set Theory -- 5...”
Cover Image
Read Now

2
by O'Donnell, John, Hall, Cordelia, Page, Rex
Published 2006
Springer London
Table of Contents: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”