An Intuitionistic Theory of Types: Predicative Part
Author:
- 1 January 1975
- book chapter
- Published by Elsevier
- p. 73-118
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A system of abstract constructive ordinalsThe Journal of Symbolic Logic, 1972
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967
- Systems of predicative analysisThe Journal of Symbolic Logic, 1964
- Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten TypenlogikArchive for Mathematical Logic, 1964
- Über eine bisher noch nicht benützte Erweiterung des finiten StandpunktesDialectica, 1958
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935