Ein System des Verknüpfenden Schliessens
- 1 March 1956
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 2 (2-4) , 55-67
- https://doi.org/10.1007/bf01969991
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Algebraische und logistische Untersuchungen über freie VerbändeThe Journal of Symbolic Logic, 1951
- Beweistheoretische Erfassung der unendlichen Induktion in der ZahlentheorieMathematische Annalen, 1950
- Schlußweisen-Kalküle der PrädikatenlogikMathematische Annalen, 1950
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930