Prezzo: € 21,00
Prodotto al momento non disponibile.
Titolo: Intuitionistic type theory Autore: Per Martin Lof Editore: Bibliopolis Data di Pubblicazione: 2007 Pagine: Formato: ISBN: 9788870881059