Intuitionistic Type Theory
Subtitle: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
Publisher: Prometheus Books
Published: June 1985
Format: Paperback
Number of pages: 91
ISBN-13: 9788870881059
Subjects: Mathematical And Symbolic Logic