Ein System des verknüpfenden Schliessens

Archiv für Philosophie 5 (4):375 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01969991

Other Versions

original Schütte, K. (1956) "Ein System des verknüpfenden Schliessens". Archive for Mathematical Logic 2(2-4):55

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,319

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archive for Mathematical Logic 2 (2-4):55.
Schütte Kurt. Ein System des verknüpfenden Schließens. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4, S. 34–67; auch Archiv für Philosophie, Bd. 5 Heft 4 , S. 375–387. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):297-298.
Kurt Schütte. Ein konstruktives System von Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 11 , pp. 126–137, and vol. 12 , pp. 3–11. - Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung vol. 12 , pp. 12–17. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (1):186.
Ein Dilemma des Protagoras.Andreas Graeser - 1978 - Archiv für Geschichte der Philosophie 60 (3):257-267.
XXI. Ein angebliches Fragment des Theophrast.A. Gercke - 1888 - Archiv für Geschichte der Philosophie 1 (3):357-358.
VIII. Ein entschiedener Verfechter des Indeterminismus.Anton Seibt - 1909 - Archiv für Geschichte der Philosophie 22 (2):178.
XIX. Ein Dialog aus der Akademie des Arkesilas.Ernst Bickel - 1904 - Archiv für Geschichte der Philosophie 17 (4):460-479.
Am Ausgang des Jüngeren Neu-Kantianismus. Ein Gedenkblatt für Richard Hönigsrvald und Jonas Cohn.Siegfried Marck - 1949 - Archiv für Philosophie 3 (2):144.
Ein Averroist des späten 13. Jahrhunderts: Ferrandus de Hispania.Albert Zimmermann - 1968 - Archiv für Geschichte der Philosophie 50 (1-2):145-164.
Schütte Kurt. Eine Bemerkung über quasirekursive Funktionen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 1 Heft 2 , S. 63–64; zugleich Archiv für Philosophie, Bd. 4 Heft 2 , S. 223–224. [REVIEW]Rózsa Péter - 1953 - Journal of Symbolic Logic 18 (1):75-76.

Analytics

Added to PP
2015-02-06

Downloads
30 (#824,967)

6 months
2 (#1,358,733)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Generality and existence 1: Quantification and free logic.Greg Restall - 2019 - Review of Symbolic Logic 12 (1):1-29.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
Syntactical and semantical properties of simple type theory.Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (4):305-326.
An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references