Simultane Rekursionen in der Theorie der Funktionale endlicher Typen
- 1 March 1971
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 14 (1) , 69-74
- https://doi.org/10.1007/bf01974150
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- 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