copertina intuitionistic_NEW
ISBN: 9788870881059
Pagine: 92
Anno: 1984
Edizione: 7088

Intuitionistic Type Theory

Lingua: inglese
Categoria: , , .


These lectures were given in Padova at the Laboratorio per Ricerche di Dinamica dei Sistemi e di Elettronica Biomedica of the CNR in the 1980. The audience was made up by philosophers, mathematicians and computer scientists.


Log in with your credentials

Forgot your details?