Intuitionistic type theory

Author(s)

• Martin-Löf, Per

Bibliographic Information

Intuitionistic type theory

Per Martin-Löf

（Studies in proof theory : lecture notes, 1）

Bibliopolis, c1984

Note

Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980

Details

• NCID: BA02733323
• ISBN:
  • 8870881059
• Country Code: it
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Napoli
• Pages/Volumes: 91 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA06884557