Practical Foundations of Mathematics

Practical Foundations of Mathematics - Cambridge Studies in Advanced Mathematics

Hardback (13 May 1999)

Save $1.82

  • RRP $202.20
  • $200.38
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 2-3 weeks

Publisher's Synopsis

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.

Book information

ISBN: 9780521631075
Publisher: Cambridge University Press
Imprint: Cambridge University Press
Pub date:
DEWEY: 510
DEWEY edition: 21
Language: English
Number of pages: 572
Weight: 880g
Height: 236mm
Width: 157mm
Spine width: 35mm