A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium

Name: A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium
Author: J. E. Fenstad

by J. E. Fenstad · 1 review · 1975

Reviewed by	Journal	Date	Access
C. Smorynski	The Journal of Symbolic Logic	1975	Restricted

Metaphysics & Logic

Also by Fenstad

Proceedings of the Second Scandinavian Logic Symposium (3 reviews)
Structures and Algorithms: Mathematics and the Nature of Knowledge (2 reviews)
General recursion theory. An axiomatic approach (1 review)

Search PhilReviews for this title