Martin-Löf, P. (1984): Intuitonistic Type Theorie

Title:	Intuitonistic Type Theorie
Author(s):	Martin-Löf, P.
Year:	1984
Publisher:	Bibliopolis Verlag

Concepts