Research Catalog
Intuitionistic type theory
- Title
- Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.
- Author
- Martin-Löf, Per, 1942-
- Publication
- Napoli : Bibliopolis, 1984.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 87-195 | Offsite |
Details
- Additional Authors
- Sambin, Giovanni.
- Description
- 91 p.; 24 cm.
- Series Statement
- Studies in proof theory ; 1
- Subject
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 87-195
- ISBN
- 8870881059
- OCLC
- 12731401
- NYPG86-B103530
- Author
- Martin-Löf, Per, 1942-
- Title
- Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.
- Imprint
- Napoli : Bibliopolis, 1984.
- Series
- Studies in proof theory ; 1
- Bibliography
- Includes bibliographical references.
- Added Author
- Sambin, Giovanni.
- Research Call Number
- JSE 87-195