Practical Foundations of Mathematics

By:

Paul Taylor

Format:

Hardback

Series:

Cambridge Studies in Advanced Mathematics

Show Hide Adult Content

$476.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $119.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 21 Jun - 3 Jul using International Courier

Description

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.

Release date Australia

May 13th, 1999

Author

Paul Taylor

Audience

Professional & Vocational

Pages

588

Series

Cambridge Studies in Advanced Mathematics

Dimensions

157x236x35

ISBN-13

9780521631075

Product ID

1979090

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here