0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Homotopy Type Theory" - alle Bücher

    Ihre Suche nach "Homotopy Type Theory" (Bücher) ergab 2 Treffer.

    Ansicht:

    Egbert Rijke
    Introduction to Homotopy Type Theory

    This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathemati…

    lieferbar ab 31.8.2025.
    Buch
    Aktueller Preis: EUR 77,68

    Stefan Müller-Stach
    The Code of Mathematics

    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. Besides selected ideas …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 53,32
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.