Intuitionistic Type Theory

€21.00

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.

Esaurito