Practical Foundations of Mathematics
- Authorized Dealer
- Ships within 1 business day
- Free 30-Day Returns
- Secure Checkout via Shopify Payments
Details
"Practical Foundations of Mathematics" by Paul Taylor is a mathematics book and learning resource focused on Core Mathematics. Best for teachers, students, and readers looking for stronger mathematical understanding.
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.
Materials + Care
We prioritize quality in selecting the materials for our items, choosing premium fabrics and finishings that ensure durability, comfort, and timeless appeal.
Shipping + Returns
We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.
"Practical Foundations of Mathematics" by Paul Taylor is a mathematics book and learning resource focused on Core Mathematics. Best for teachers, students, and readers looking for stronger mathematical understanding.
Topic: Core Mathematics
Author: Paul Taylor
Who this is for:
- Teachers and classroom instructors
- Students building subject mastery
- Readers looking for practical learning support
Why this book matters: It stands out as a practical math resource that helps explain concepts, strengthen problem-solving, and support classroom or independent learning.
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.
| Author | Paul Taylor |
| Publisher | Cambridge University Press |
| Published | 1999-05-13 |
| ISBN-13 | 9780521631075 |
| Binding | Hardcover |
| Pages | 590 |
| Language | English |
| Subjects | Mathematics |
| Topic | Core Mathematics |
| Series | Cambridge Studies in Advanced Mathematics |
Format: Hardcover
Length: 590 pages
Language: English
Shop by collection
Books
