Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität

Archive for Mathematical Logic 7 (3-4):128-138 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01969438

Links

PhilArchive



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

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 Direkter Beweis für die Allgemein-Rekursive Unlösbarkeit des entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):86-87.
Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.László Kalmár - 1956 - Mathematical Logic Quarterly 2 (1‐4):1-14.
Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.László Kalmár - 1956 - Mathematical Logic Quarterly 2 (1-4):1-14.
Ein Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (2):268-268.
Eine bemerkung zu Henkin's beweis für die vollständigkeit Des prädikatenkalküls der ersten stufe.G. Hasenjaeger - 1953 - Journal of Symbolic Logic 18 (1):42-48.
Ein neuer naturwissenschaftlicher Beweis für die Zeitlichkeit des Naturlaufes.[author unknown] - 1912 - Philosophisches Jahrbuch 25:442.
Neuer Beweis für die Möglichkeit einer Wohlordnung.Ernst Zermelo - 1907 - Mathematische Annalen 65 (1):107-128.
Ein neuer beweis für die vollständigkeit eines vielwertigen systems Des aussagenkalküls.G. Bryll - 1966 - Studia Logica 19 (1):115-115.
Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1).Michael Deutsch - 1986 - Mathematical Logic Quarterly 32 (35‐36):551-574.
Der Beweis Für Die Identität der Tapferkeit Und des Wissens in Platons Protagoras.Karl Schirlitz - 1901
Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞.Michael Deutsch - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (35-36):551-574.
G. Hasenjaeger. Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe. The journal of symbolic logic, vol. 18 , pp. 42–48. [REVIEW]Alonzo Church - 1966 - Journal of Symbolic Logic 31 (2):268-268.
Neuer Begriff der Kulturwissenschaften, der Kultur, der kulturellen Identität.Anton Kolb - 1995 - Salzburger Jahrbuch für Philosophie:151-157.
Ein Neuer Beweis fur die Tatsache, Dass die Klasse der Primitivrekursiven Funktionen Umfassender als die klasse der Elementaren Funktionen ist.Paul Axt - 1955 - Journal of Symbolic Logic 20 (3):282-283.
Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv‐rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.

Analytics

Added to PP
2020-12-03

Downloads
7 (#1,382,898)

6 months
6 (#510,793)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The characterization of monadic logic.Leslie H. Tharp - 1973 - Journal of Symbolic Logic 38 (3):481-488.

Add more citations

References found in this work

No references found.

Add more references