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