Call Boomerang Books 1300 36 33 32

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 book by Paul Taylor from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

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

Reviews

» 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 Author Paul Taylor

Hank O'Neal: A Vision Shared by Paul Taylor

Hank O'Neal: A Vision Shared

Hardback, April 2017
$121.50
Next America by Paul Taylor

The Next America

Paperback, February 2016
$30.97
Condition by Paul Taylor

Condition

Paperback, August 2015
$77.48
Meditations on a Heritage by Paul Taylor

Meditations on a Heritage

Paperback, July 2014
$51.65