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

    Trefferliste "Logical Deduction" - alle Bücher und CDs

    Ihre Suche nach "Logical Deduction" (Bücher und CDs) ergab 61 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 44,46
    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.