Description

Book 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.

Trade 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

Table of Contents
1. First order reasoning; 2. Types and induction; 3. Posets and lattices; 4. Cartesian closed categories; 5. Limits and colimits; 6. Structural recursion; 7. Adjunctions; 8. Algebra with dependent types; 9. The quantifiers.

Practical Foundations of Mathematics 59 Cambridge Studies in Advanced Mathematics Series Number 59

    Product form

    £144.40

    Includes FREE delivery

    RRP £152.00 – you save £7.60 (5%)

    Order before 4pm tomorrow for delivery by Sat 15 Aug 2026.

    A Hardback by Paul Taylor

    15 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Practical Foundations of Mathematics 59 Cambridge Studies in Advanced Mathematics Series Number 59 by Paul Taylor

      Publisher: Cambridge University Press
      Publication Date: Publication Date: 5/13/1999 12:00:00 AM
      ISBN13: 9780521631075, 978-0521631075
      ISBN10: 0521631076
      Also in:
      Mathematical foundations

      Description

      Book 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.

      Trade 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

      Table of Contents
      1. First order reasoning; 2. Types and induction; 3. Posets and lattices; 4. Cartesian closed categories; 5. Limits and colimits; 6. Structural recursion; 7. Adjunctions; 8. Algebra with dependent types; 9. The quantifiers.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account