Items related to Practical Foundations of Mathematics: 59 (Cambridge...
Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59) - Hardcover
Synopsis
This book is about the basis of mathematical reasoning both in pure mathematics itself and in computing.
"synopsis" may belong to another edition of this title.
Review
Review of the hardback: 'This is a fascinating and rewarding book ... each chapter has several pages of subtle, provocative and imaginative exercises. In summary, it is a magnificent compilation of ideas and techniques: it is a mine of (well-organised) information suitable for the graduate student and experienced researcher alike.' Roy Dyckhoff, Bulletin of the London Mathematical Society
Book Description
This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries and challenges many established attitudes to the foundations of mathematics.
"About this title" may belong to another edition of this title.
Search results for Practical Foundations of Mathematics: 59 (Cambridge...
Stock Image
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
Published by
Cambridge University Press, 1999
ISBN 10: 0521631076
ISBN 13: 9780521631075
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521631075_new
Quantity: Over 20 available
Seller Image
Practical Foundations of Mathematics
Published by
Cambridge University Press, 1999
ISBN 10: 0521631076
ISBN 13: 9780521631075
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 700651-n
Quantity: Over 20 available
Stock Image
Practical Foundations of Mathematics (Hardcover)
Published by
Cambridge University Press, Cambridge, 1999
ISBN 10: 0521631076
ISBN 13: 9780521631075
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521631075
Quantity: 1 available
Seller Image
Practical Foundations of Mathematics
Published by
Cambridge University Press, 1999
ISBN 10: 0521631076
ISBN 13: 9780521631075
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 700651-n
Quantity: Over 20 available
Stock Image
Practical Foundations of Mathematics
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 572 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand. Seller Inventory # __0521631076
Quantity: 1 available
Stock Image
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
Published by
Cambridge University Press, 1999
ISBN 10: 0521631076
ISBN 13: 9780521631075
New
Hardcover
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9780521631075
Quantity: 1 available
Stock Image
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
Published by
Cambridge University Press, 1999
ISBN 10: 0521631076
ISBN 13: 9780521631075
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521631075
Quantity: Over 20 available
Seller Image
Practical Foundations of Mathematics
Published by
Cambridge University Press, 2003
ISBN 10: 0521631076
ISBN 13: 9780521631075
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries. Seller Inventory # 446943049
Quantity: Over 20 available
Stock Image
Practical Foundations of Mathematics
Published by
Cambridge University Press, 1999
ISBN 10: 0521631076
ISBN 13: 9780521631075
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1063. Seller Inventory # C9780521631075
Quantity: Over 20 available
Seller Image
Practical Foundations of Mathematics
Published by
Cambridge University Press, GB, 1999
ISBN 10: 0521631076
ISBN 13: 9780521631075
New
Hardcover
Seller: Rarewaves.com UK, London, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. 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. Seller Inventory # LU-9780521631075
Quantity: Over 20 available