No CrossRef data available.
Article contents
A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405.
Published online by Cambridge University Press: 12 March 2014
Abstract
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1975