The Haskell Road to Logic, Maths and Programming. Second Edition

The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) B

Haskell Road to Logic, Maths and Pro by Kees Doets (2004, Trade Paperback)

Programming in Haskell 2nd Edition Graham Hutton ISBN 9781316626221

The Haskell Road to Logic, Maths and Programming ... by van Eijck, Jan Paperback

The Haskell Road to Logic, Maths and Programming. Second Edition

FOUNDATIONS OF MATHEMATICAL LOGIC – Haskell B. Curry – Dover Publications – 1976