Veb Deutscher Verlag der Wissenschaften (1959)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | Logic, Symbolic and mathematical Recursive functions |
| Categories |
No categories specified (categorize this paper) |
| Buy this book |
Find it on Amazon.com
|
| DOI | 10.2307/2964712 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Eine Bemerkung zu spektralen Darstellungen von ϱ‐stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃∞ und ∀∃2∀(∞, 1). [REVIEW]Michael Deutsch - 1990 - Mathematical Logic Quarterly 36 (2):163-184.
Zum Reduktionstyp ∃∞∀∃∀ Und Zur Spektralen Darstellung ϱ-Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞∀∃∀.Michael Deutsch - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):517-529.
Weitere Verschärfungen zu den Reduktionstypen ∀∃∞∀, ∃∞∀3∃.Michael Deutsch - 1990 - Mathematical Logic Quarterly 36 (4):339-355.
Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.Michael Deutsch - 1991 - Mathematical Logic Quarterly 37 (18):273-288.
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.
View all 14 citations / Add more citations
Similar books and articles
Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1955 - Mathematical Logic Quarterly 1 (4):264-270.
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Mathematical Logic Quarterly 1 (4):252-263.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1‐3):37-48.
Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1957 - Mathematical Logic Quarterly 3 (21):303-316.
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.
Zur Reduktionstheorie Des Entscheidungsproblems.Michael Deutsch - 1981 - Mathematical Logic Quarterly 27 (8‐10):113-117.
Beiträge Zur Reduktionstheorie des Logischen Entscheidungsproblems.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (2):84-85.
Review: Jozef Pepis, Beitrage zur Reduktionstheorie des logischen Entscheidungsproblems. [REVIEW]Paul Bernays - 1937 - Journal of Symbolic Logic 2 (2):84-85.
Formal Systems and Recursive Functions Proceedings of the Eighth Logic Colloquium, Oxford, July 1963.John N. Logic Colloquium, Michael A. E. Crossley, Dummett & Association for Symbolic Logic - 1965 - North-Holland.
Formal Systems and Recursive Functions.John N. Crossley & Michael A. E. Dummett (eds.) - 1965 - Amsterdam: North-Holland Pub. Co..
Analytics
Added to PP index
2015-02-02
Total views
5 ( #1,143,514 of 2,419,525 )
Recent downloads (6 months)
1 ( #542,199 of 2,419,525 )
2015-02-02
Total views
5 ( #1,143,514 of 2,419,525 )
Recent downloads (6 months)
1 ( #542,199 of 2,419,525 )
How can I increase my downloads?
Downloads
