Peter Aczel. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki

Name: Peter Aczel. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki
Author: Per Martin-Löf

by Per Martin-Löf · 1 review · 1984

Reviewed by	Journal	Date	Access
Wim Veldman	The Journal of Symbolic Logic	1984	Restricted

Metaphysics & Logic

Also by Martin-Löf

Intuitionistic Type Theory (1 review)
R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y (1 review)

Search PhilReviews for this title