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
Community Reviews (0)
Feedback?July 28, 2014 | Edited by ImportBot | import new book |
January 9, 2011 | Edited by 173.70.123.67 | Added description |
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
March 18, 2010 | Created by WorkBot | work found |