ricerca
avanzata

Intuitionistic type theory

di Martin Löf Per edito da Bibliopolis, 1984

Informazioni bibliografiche del Libro

 

 Recensioni Scrivi la tua recensione del libro "Intuitionistic type theory"

Potrebbero interessarti anche questi prodotti
Logica. Lezioni di primo livello libro di Abrusci Vito Michele
Logica. Lezioni di primo livello
libro di Abrusci Vito Michele 
edizioni CEDAM
consegna in 24 ore
€ 23,00

 Recensioni Scrivi la tua recensione del libro "Intuitionistic type theory"