Schnittelimination in einem Teilsystem der einfachen Typenlogik
- 1 December 1969
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 12 (3-4), 159-178
- https://doi.org/10.1007/bf01969702
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Consistency Proofs of Subsystems of Classical AnalysisAnnals of Mathematics, 1967
- Remarks on Cantor's absolute, IIProceedings of the Japan Academy, Series A, Mathematical Sciences, 1961
- Syntactical and semantical properties of simple type theoryThe Journal of Symbolic Logic, 1960
- On the fundamental conjecture of $GLC$ V.Journal of the Mathematical Society of Japan, 1958
- Ordinal diagrams.Journal of the Mathematical Society of Japan, 1957
- On the fundamental conjecture of $GLC$ IV.Journal of the Mathematical Society of Japan, 1956
- On the fundamental conjecture of $GLC$ III.Journal of the Mathematical Society of Japan, 1956
- On the fundamental conjecture of $GLC$ II.Journal of the Mathematical Society of Japan, 1955
- On the fundamental conjecture of $GLC$ I.Journal of the Mathematical Society of Japan, 1955
- On a generalized logic calculusJapanese journal of mathematics :transactions and abstracts, 1953