Ein System des verknüpfenden Schliessens

Archive for Mathematical Logic 2 (2-4):55 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01969991

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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 - Archiv für Philosophie 5 (4):375.
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.
Review: Kurt Schutte, Ein System des Verknupfenden Schliebeta ens. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):297-298.
Eine Bemerkung über den Kalkül des natürlichen Schließens.Arnold Oberschelp - 1962 - Archive for Mathematical Logic 6 (1-2):3-6.
Theorie des logischen Schliessens.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (1):37-86.
Ein konstruktives system von Ordinalzahlen.Kurt Schütte - 1968 - Archive for Mathematical Logic 11 (3-4):126-137.
Ein Konstruktives System von Ordinalzahlen. II.Kurt Schütte - 1969 - Archive for Mathematical Logic 12 (1-2):3-11.
Theorie des logischen Schliessens II.Karl Schröter - 1958 - Mathematical Logic Quarterly 4 (1‐6):10-65.
Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit II.Wilhelm Ackermann - 1961 - Archive for Mathematical Logic 5 (3-4):96-111.
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.Wilhelm Ackermann - 1958 - Archive for Mathematical Logic 4 (1-2):3.

Analytics

Added to PP
2017-02-22

Downloads
13 (#1,042,873)

6 months
1 (#1,722,767)

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.
An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references