The algebraic treatment of the methodology of elementary deductive systems
- 1 December 1955
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 2 (1) , 151-211
- https://doi.org/10.1007/bf02124771
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- On the categoricity in power of elementary deductive systems and some related problemsColloquium Mathematicum, 1954
- On the application of Tychonoff's theorem in mathematical proofsFundamenta Mathematicae, 1951
- A proof of the completeness theorem of GrödelFundamenta Mathematicae, 1950
- The completeness of the first-order functional calculusThe Journal of Symbolic Logic, 1949
- An algebraic proof of completeness for the two-valued propositional calculusColloquium Mathematicum, 1949
- Über die Unabhängigkeit des Wohlordnungssatzes vom OrdnungsprinzipFundamenta Mathematicae, 1939
- Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich ZahlenvariablenFundamenta Mathematicae, 1934
- Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. IMonatshefte für Mathematik, 1930
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930
- Über Möglichkeiten im RelativkalkülMathematische Annalen, 1915