Twenty Five Years of Constructive Type Theory - 9780198501275
-
€ 47.10
-
Il prezzo è variabile in funzione del cambio della valuta d’origine
Informazioni bibliografiche
- Titolo del Libro in lingua: Twenty Five Years of Constructive Type Theory
-
Autore:
Sambin Giovanni
- Editore: BERTRAMS PRINT ON DEMAND
- Data di Pubblicazione: 17 Agosto '98
- Genere: Lingua Inglese
- ISBN-10: 0198501277
- EAN-13: 9780198501275