Intuitionistic type theory
| Titolo | Intuitionistic type theory |
| Autore | Martin Löf Per |
| Editore | Bibliopolis |
| Formato |
Libro |
| Pagine | 92 |
| Pubblicazione | 1984 |
| ISBN | 9788870881059 |
|
Acquistabile con Carta del docente o Carta Cultura Giovani |
