Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980
Date : 1984
Type : Livre / Book
Langue / Language : anglais / English
ISBN : 88-7088-105-9
Logique mathématique
Théorie des ensembles
Classification Dewey : 511.3