Libri di Per Martin Lof
Bibliografia di Per Martin Lof: tutti i libri in vendita online Logica matematica
LIBRO 9788870881059
Intuitionistic type theory Martin Löf Per - Bibliopolis, 1984 - Studies In Proof Theory.Lecture Notes
Intuitionistic type theory - Bibliopolis
disp. incerta
ACQUISTA