Description

Book Synopsis
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.

The Code of Mathematics

    Product form

    £44.99

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Mon 3 Aug 2026.

    A Paperback by Stefan Muller-Stach

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

      View other formats and editions of The Code of Mathematics by Stefan Muller-Stach

      Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      Publication Date: Publication Date: 9/4/2024
      ISBN13: 9783662694824, 978-3662694824
      ISBN10: 3662694824
      Also in:
      Mathematics

      Description

      Book Synopsis
      Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.

      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