Risultati della ricerca
Abbiamo trovato 1 libri cercando Per Martin Lof.
Intuitionistic type theory
di Per Martin LofMomentaneamente non ordinabile Aggiungi a lista dei desideri
Prezzo: € 21,00
Editore: Bibliopolis
ISBN: 9788870881059
Collana:
Anno Edizione: 2007
