Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
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
![Loading indicator](/images/ajax-loader-bar.gif)
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
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
Edition Notes
The Physical Object
ID Numbers
Source records
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 |