Libri di Per Martin Lof
Bibliografia di Per Martin Lof: tutti i libri in vendita online
Su Unilibro trovi i libri di Per Martin Lof in vendita online: scopri la bibliografia dell'autore, le ultime uscite e le offerte disponibili.
Consulta la cronologia dei libri di Per Martin Lof, scegli il titolo che ti interessa, aggiungilo al carrello e completa l'acquisto in pochi clic.
LIBRO 9788870881059
Intuitionistic type theory Martin Löf Per - Bibliopolis, 1984 - Studies In Proof Theory.Lecture Notes
Intuitionistic type theory - Bibliopolis
disp. incerta
ACQUISTA