The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
Publisher: King's College Publications
Published: May 31, 2004
Place of publication: London, England
Language: eng
Format: Paperback
Number of pages: 444
ISBN-13: 9780954300692
Subjects: Logic; Mathematics; Science/Mathematics
Table of contents: title: Preface
pagenum: v; label: 1
pagenum: 1
title: Getting Started; label: 2
pagenum: 27
title: Talking about Mathematical Objects; label: 3
pagenum: 71
title: The Use of Logic: Proof; label: 4
pagenum: 111
title: Sets, Types, and Lists; label: 5
pagenum: 157
title: Relations; label: 6
pagenum: 201
title: Functions; label: 7
pagenum: 233
title: Induction and Recursion; label: 8
pagenum: 279
title: Working with Numbers; label: 9
pagenum: 323
title: Polynomials; label: 10
pagenum: 351
title: Corecursion; label: 11
pagenum: 389
title: Finite and Infinite Sets; title: The Greek Alphabet
pagenum: 411; title: References
pagenum: 412; title: Index
pagenum: 416