Ships from/sold by Buy.com
See All Buying Options
advertisement
Author:  Paul Taylor Editor:  Bela Bollobas
Earn Super Points: Write a Review
Sorry, this selection is currently unavailable.
Practical Foundations of Mathematics Taylor, Paul 1 of 1
$189.99
$187.90  + Free Shipping
EARN 188 RAKUTEN SUPER POINTS™ Super Points
What are Rakuten Super Points™?
Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.
Learn More
FORMAT: Hardcover
CONDITION:  Brand New
IN STOCK: Usually Ships within 24 hours
1 New
from
$187.90
See all sellers
45 day return policy
Share
 
Description
More Buying Options
 

Learn more about Practical Foundations of Mathematics:

Format: Hardcover
ISBN-10: 0521631076
ISBN-13: 9780521631075
Sku: 33742912
Publish Date: 4/10/2007
Dimensions:  (in Inches) 9.5H x 6.5L x 1.25T
Pages:  588
Age Range:  NA
See more in Logic
 
Practical Foundations of Mathematics explains the basis of mathematical reasoning both in pure mathematics itself (algebra and topology in particular) and in computer science. In addition to the formal logic, this volume examines the relationship between computer languages and plain English mathematical proofs. The book introduces the reader to discrete mathematics, reasoning, and categorical logic. It offers a new approach to term algebras, induction and recursion and proves in detail the equivalence of types and categories. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries across 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. *Author: Taylor, Paul/ Paul, Taylor/ Bollobas, Bela *Series Title: Cambridge Studies in Advanced Mathematics (Hardcover) *Series Number: 59 *Binding Type: Hardcover *Number of Pages: 588 *Publication Date: 1999/05/13 *Language: English *Dimensions: 9.36 x 5.92 x 1.71 inches
From the Publisher:
Practical Foundations of Mathematics explains the basis of mathematical reasoning both in pure mathematics itself (algebra and topology in particular) and in computer science. In addition to the formal logic, this volume examines the relationship between computer languages and "plain English" mathematical proofs. The book introduces the reader to discrete mathematics, reasoning, and categorical logic. It offers a new approach to term algebras, induction and recursion and proves in detail the equivalence of types and categories. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries across 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.

Product Attributes

Product attributeBook Format:   Hardcover
Product attributeNumber of Pages:   0588
Product attributePublisher:   Cambridge University Press
Product attributeSeries Part:   59
Advertisement Bottom