Ouelques Resultats sur les Interpretations Fonctionnelles
- 1 January 1973
- book chapter
- Published by Springer Nature
- p. 232-252
- https://doi.org/10.1007/bfb0066776
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysisThe Journal of Symbolic Logic, 1966
- Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematicsProceedings of Symposia in Pure Mathematics, 1962
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958