Eine Verallgemeinerung des Hauptsatzes von Gentzen

Archive for Mathematical Logic 12 (3-4):134-150 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01969699

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

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

Eine Beschränkung des zweiten Hauptsatzes der Wärmetheorie?[author unknown] - 1895 - Philosophisches Jahrbuch 8:111-115.
Über eine verallgemeinerung der robinsonschen modellvervollständigung I.Klaus Kaiser - 1969 - Mathematical Logic Quarterly 15 (1‐3):37-48.
Eine weitere Verallgemeinerung des Potenzbegriffs.Fritz London - 1923 - Jahrbuch für Philosophie Und Phänomenologische Forschung 6:380.
Gentzen's anti-formalist ideas.Michael Detlefsen - 2015 - In Reinhard Kahle & Michael Rathjen (eds.), Gentzen's Centenary: The Quest for Consistency. New York: Springer. pp. 25-44.
Über eine verallgemeinerung der robinsonschen modellvervollständigung. II. abgeschlossene algebren.Klaus Kaiser - 1969 - Mathematical Logic Quarterly 15 (7‐12):123-134.
Über eine verallgemeinerung der robinsonschen modellvervollständigung I.Klaus Kaiser - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (1-3):37-48.
Über eine verallgemeinerung der robinsonschen modellvervollständigung. II. abgeschlossene algebren.Klaus Kaiser - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):123-134.
Mathematik als Prozess der Verallgemeinerung von Zeichen: Eine exemplarische Unterrichtseinheit zur Entdeckung der Inkommensurabilität.Michael H. G. Hoffmann & Marcel Plöger - 2000 - Zeitschrift Für Semiotik 22:81–114.
Die Idee der Verallgemeinerung in der Ethik: Eine Kritische Untersuchung der Moralphilosophischen Entwürfe von I. Kant, M.G. Singer Und R.M. Hare.Viktor Friesen - 2013 - Würzburg: Königshausen & Neumann.
Zur Boltzmannschen Theorie des zweiten Hauptsatzes.Richard Rado - 1932 - Erkenntnis 3 (1):101.
Zur boltzmannschen theorie Des zweiten hauptsatzes.Wolfgang Köhler - 1931 - Erkenntnis 2 (1):336-353.
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
Die Geschichte des ersten und zweiten Hauptsatzes der Wärmetheorie und ihre Bedeutung für die Biologie.A. Apolin - 1964 - Philosophia Naturalis 8 (4):431-459.
A Note on the Godel-Gentzen Translation.Hajime Ishihara - 2000 - Mathematical Logic Quarterly 46 (1):135-138.
自然演繹法系統之比較. 鄧敦民 - 2016 - NTU Philosophical Review 51 (51):35-70.

Analytics

Added to PP
2020-12-03

Downloads
2 (#1,801,846)

6 months
2 (#1,188,460)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references