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

by: Kees Doets · Jan van Eijck Paperback details (United Kingdom). ISBN: 978-0-9543006-9-2 ISBN-10: 0-9543006-9-6 College Publications · 2012