No CrossRef data available.
Article contents
Robert R. Tompkins. On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 289–293.
Review products
Robert R. Tompkins. On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 289–293.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1971