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

    A Paperback by Stefan Muller-Stach

    £44.99

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Thu 15 Oct 2026.

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

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

      Book details

      Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      Published 9 April 2024
      ISBN-13 9783662694824
      978-3662694824
      ISBN-10 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