Mehrsortige logische Systeme mit unendlich langen Formeln I
- 1 March 1971
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 14 (1-2) , 38-53
- https://doi.org/10.1007/bf01974148
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Normal derivability in classical logicLecture Notes in Mathematics, 1968
- Remarks on an infinitary language with constructive formulasThe Journal of Symbolic Logic, 1967
- An interpolation theorem for denumerably long formulasFundamenta Mathematicae, 1965
- On predicates with constructive infinitely long expressionsJournal of the Mathematical Society of Japan, 1963
- Beweistheorie. By K. Schütte. Pp. xii + 356. DM 45. 1960. (Springer-Verlag, Berlin).The Mathematical Gazette, 1962
- On the Forms of the Predicates in the Theory of Constructive OrdinalsAmerican Journal of Mathematics, 1944