×

zbMATH — the first resource for mathematics

Zur Widerspruchsfreiheit einer typenfreien Logik. (German) Zbl 0050.24405

PDF BibTeX XML Cite
Full Text: DOI EuDML
References:
[1] Widerspruchsfreier Aufbau einer typenfreien Logik (erweitertes System). Math. Z. 55, 364-384 (1952). · Zbl 0050.24501
[2] In einem Vortrag auf einer Tagung für math. Logik und Grundlagenforschung. Göttingen, März 1952.
[3] a) Schlußweisen-Kalküle der Prädikatenlogik. Math. Ann.122, 47-65 (1950). · Zbl 0036.14801
[4] b) Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie. Math. Ann.122, 369-389 (1951). · Zbl 0042.00803
[5] c) Beweistheoretische Untersuchung der verzweigten Analysis. Math. Ann.124, 123 bis 147 (1952). · Zbl 0046.00603
[6] Algebraische und logistische Untersuchungen über freie Verbände. J. Symb. Log.16, 98 (1951).
[7] Vgl. z. B. S. 50 der unter 4a) zitierten Arbeit.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.