Get Free Shipping on orders over $79
Practical Foundations of Mathematics : Cambridge Studies in Advanced Mathematics - No Information Available

Practical Foundations of Mathematics

By: No Information Available

Hardcover | 12 July 1999

At a Glance

Hardcover


RRP $316.00

$272.75

14%OFF

or 4 interest-free payments of $68.19 with

 or 

Ships in 5 to 7 business days

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.
Industry Reviews
From the hardback review: '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

More in Mathematical Foundation

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Teaching Secondary Mathematics : 2nd Edition - Gregory Hine

RRP $80.95

$66.99

17%
OFF
Foundation Maths : 7th Edition - Anthony Croft

RRP $140.65

$111.75

21%
OFF
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Teaching Mathematics 3e & Open Ended Maths Activities Revised Ed Value Pack - Dianne Siemon
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul
Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

RRP $94.99

$85.75

10%
OFF