Check nearby libraries
Buy this 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.
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
May 31, 2004, King's College Publications
Paperback
in English
0954300696 9780954300692
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Published in
London, England
Table of Contents
Preface
Page v
1.
Getting Started
Page 1
2.
Talking about Mathematical Objects
Page 27
3.
The Use of Logic: Proof
Page 71
4.
Sets, Types, and Lists
Page 111
5.
Relations
Page 157
6.
Functions
Page 201
7.
Induction and Recursion
Page 233
8.
Working with Numbers
Page 279
9.
Polynomials
Page 323
10.
Corecursion
Page 351
11.
Finite and Infinite Sets
Page 389
The Greek Alphabet
Page 411
References
Page 412
Index
Page 416
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 29, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 1, 2019 | Edited by MARC Bot | import existing book |
July 28, 2014 | Edited by ImportBot | import new book |
April 6, 2014 | Edited by ImportBot | Added IA ID. |
January 9, 2011 | Edited by 173.70.123.67 | add table of contents |
April 29, 2008 | Created by an anonymous user | Imported from amazon.com record. |