Intuitionistic Type Theory

(5/5) - 332 ratings
Author: Per Martin-Lof
Publisher: Prometheus Books
Genre: Mathematics > Logic
Pages: 100
Language: english
Year: 1985
ISBN 10: 8870881059
ISBN 13: 9788870881059
Series: Studies in Proof Theory
Edition: Unknown
5,189 people have downloaded this book for free


These lectures were given in Padova at the Laboratorio per Ricerche di Dinamica dei Sistemi e di Elettronica Biomedica of the Consiglio Nazionale delle Ricerche during the month of June 1980.