Dettagli Libro
- Titolo: Intuitionistic type theory
- Autore: Per Martin Lof
- Curatore:
- Traduttore:
- Illustratore:
- Editore: Bibliopolis
- Collana:
- Data di Pubblicazione: 2007
- Pagine:
- Formato:
- ISBN: 9788870881059
- Matematica - Matematica
Libri che ti potrebbero interessare
Il canone della letteratura. Antologia d...
G. Barberi Squarotti, R. Verzini
Cucina eoliana
L. Falcone, A. La Spada
I libri più cercati
-
L'antico amore
Maurizio de Giovanni -
Il metodo di lavoro libero per gruppi
F. De Bartolomeis, Roger Cousinet, Francesco De Bartolomeis -
Cricco di teodoro. 3 (versione gialla) - (soltanto...
Giorgio Cricco, Francesco P. Di Teodoro -
Lo Hobbit. Illustrato dall'autore
John R. R. Tolkien -
La crisi del 1929. Negli Stati Uniti d'America e i...
Vichi Marco
Categorie
- Agricoltura
- Antropologia
- Archeologia
- Architettura
- Arte e fotografia
- Astronomia
- Bambini e ragazzi
- Benessere e tempo libero
- Biblioteconomia
- Biografie e memorie
- Biologia
- Botanica
- Chimica
- Cinema e spettacolo
- Cucina
- Design e grafica
- Diritto
- Ecologia e ambiente
- Economia
- Filosofia
- Fisica
- Fumetti
- Geografia
- Giardinaggio
- Informatica
- Ingegneria
- Lingue straniere
- Linguistica
- Matematica
- Medicina
- Metodologia scientifica
- Musica
- Narrativa
- Non catalogati
- Opere di consultazione
- Psicologia
- Religione
- Scuola ed educazione
- Società
- Sociologia
- Sport
- Storia
- Studi letterari
- Veterinaria
- Viaggi
- Zoologia