Advertisement

Ein System des Verknüpfenden Schliessens

  • Kurt Schütte
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    Gentzen, G.: Untersuchungen über das logische Schließen, I. Math. Zeitschr. 39, 176–210 (1934).CrossRefGoogle Scholar
  2. [2]
    Schütte, K.: Schlußweisen-Kalküle der Prädikatenlogik. Math. Ann. 122, 47–65 (1950).CrossRefGoogle Scholar
  3. [3]
    Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatsh. Math. Phys. 37, 349–360 (1930).CrossRefGoogle Scholar
  4. [4]
    Lorenzen, P.: Algebraische und logistische Untersuchungen über freie Verbände. J. Symb. Logic 16, 81–106 (1951).Google Scholar
  5. [5]
    Schütte, K.: Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie. Math. Ann. 122, 369–389 (1951).CrossRefGoogle Scholar

Copyright information

© W. Kohlhammer Verlag 1957

Authors and Affiliations

  • Kurt Schütte
    • 1
  1. 1.Marburg (Lahn)

Personalised recommendations