Skip to content
pandatutor® Log in
Cover of The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

by Jan van Eijck

2004 444 pages eng

Logic programming Logica Wiskunde Symbolic and mathematical Logic Logic Mathematics

A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.

Read on Archive.org Open Library Toronto Public Library Libby Amazon

Read online

Reader not loading? Open it on Archive.org instead.

More like this

The experience of literature

Nathaniel Hawthorne, Herman Melville, William Shakespeare et al.

1967 ★ 4.0

Programming Logic and Design

Joyce Farrell

2004

Programming Logic and Design, Comprehensive

Joyce Farrell

2012

Programming Logic and Design, Introductory

Joyce Farrell

2014

Heritage of Western civilization

John Louis Beatty

1958

Programming logic and design

Joyce Farrell

2006