R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y

Name: R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y
Author: Per Martin-Löf

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

Reviewed by	Journal	Date	Access
Robert A Di Paola	The Journal of Symbolic Logic	1974	Restricted

Metaphysics & Logic

Also by Martin-Löf

Intuitionistic Type Theory (1 review)
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 (1 review)

Search PhilReviews for this title