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

    Trefferliste "Anjolina Grisi De Oliveira" - alle Bücher

    Ihre Suche nach "Anjolina Grisi De Oliveira" (Bücher) ergab 1 Treffer.

    Ansicht:

    Arthur Freitas Ramos, Ruy J. G. B. De Queiroz, Anjolina Grisi de Oliveira
    Computational Paths. The Calculus of Equality

    When are two proofs of the same proposition equal? This book answers through computational paths - explicit syntactic witnesses that record how one proof-term rewrites into another. Continuing the program…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,83
    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.