The real elements in a consistency proof for simple type theory I
- 1 January 1975
- book chapter
- Published by Springer Nature
- p. 233-256
- https://doi.org/10.1007/bfb0079554
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Über Hilbert's Reale Und Ideale ElementeArchive for Mathematical Logic, 1975
- Extensional Gödel Functional InterpretationLecture Notes in Mathematics, 1973
- Formal systems for some branches of intuitionistic analysisAnnals of Mathematical Logic, 1970
- On weak completeness of intuitionistic predicate logicThe Journal of Symbolic Logic, 1962