Call Boomerang Books 1300 36 33 32

Description - Practical Foundations of Mathematics by Paul Taylor

Practical Foundations collects the methods of construction of the objects of twentieth century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.

Buy Practical Foundations of Mathematics by Paul Taylor from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521631075
ISBN-10: 0521631076
Format: Hardback
(228mm x 152mm x 43mm)
Pages: 588
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 13-May-1999
Country of Publication: United Kingdom

Other Editions - Practical Foundations of Mathematics by Paul Taylor

Book Reviews - Practical Foundations of Mathematics by Paul Taylor

» Have you read this book? We'd like to know what you think about it - write a review about Practical Foundations of Mathematics book by Paul Taylor and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Books By Paul Taylor

Hank O'Neal: A Vision Shared by Paul Taylor
Hardback, June 2017
$121.50
Next America by Paul Taylor
Paperback, January 2016
$29.65
Condition by Paul Taylor
Paperback, August 2015
$74.16
Paul Taylor Dance Company by Paul Taylor
Paperback / softback, January 2015
$29.58