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