The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)Jan van Eijck
The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
Jan van Eijck · 2004
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
About the book
A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.
Book details
- Year
- 2004
- Language
- English
- Publisher
- King's College Publications
- Editions
- 1
- Pages
- 444
- ISBN
- 9780954300692
Data source: Wikidata
More by Jan van Eijck
Games Actions And Social SoftwareJan van Eijck
Games Actions And Social Software
Jan van Eijck · 2012
Computational Semantics with Functional ProgrammingJan van Eijck
Computational Semantics with Functional Programming
Jan van Eijck · 2010
Liber Amicorum Alberti. A Tribute to Albert VisserJan van Eijck
Liber Amicorum Alberti. A Tribute to Albert Visser
Jan van Eijck · 2016