Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp [Book Review]

Journal of Symbolic Logic 51 (4):1075-1076 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,698

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Superjump in Martin-Löf Type Theory.Michael Möllerfeld - 2002 - Bulletin of Symbolic Logic 8 (4):538-538.

Analytics

Added to PP
2013-11-03

Downloads
26 (#614,081)

6 months
7 (#621,576)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references