Intuitionistic type theory
By: Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.
Contributors: Sambin, Giovanni.
Series: Studies in proof theory. Lecture notes -- 1.; Studies in proof theory -- 1.
Publisher: Bibliopolis
Published: 1984
Place of publication: Napoli
Language: eng
Number of pages: 91
Subjects: Proof theory.; Intuitionistic mathematics.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references.