Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (8-10):113-117 (1981)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| DOI | 10.1002/malq.19810270802 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
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.
Reduktionstheorie des Entscheidungsproblems Im Prädikatenkalkül der Ersten Stufe.János Surányi - 1959 - Veb Deutscher Verlag der Wissenschaften.
Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten.Michael Deutsch - 1987 - Mathematical Logic Quarterly 33 (4):347-358.
Einige Reduktionen des Entscheidungsproblems.C. H. Langford - 1937 - Journal of Symbolic Logic 2 (2):86-86.
Review: Th. Skolem, Einige Reduktionen des Entscheidungsproblems. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (2):86-86.
Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik.John Dawson - 1990 - Journal of Symbolic Logic 55 (1):344-345.
Review: Laszlo Kalmar, Zur Reduktion des Entscheidungsproblems. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (1):46-46.
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.
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.
Review: Janos Suranyi, A Logikai Fuggvenykalkulus Eldontes-Problemajanak Redukciojarol (Zur Reduktion des Entscheidungsproblems des Logischen Funktionenkalkuls). [REVIEW]Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):22-24.
Mäximin und Rawls' Prinzipien.Johannes Schmidt - 1987 - Grazer Philosophische Studien 29 (1):101-127.
Ein neuer beweis und eine verschärfung für den reduktionstyp ∀∃∀∞(0, 1) mit einer anwendung auf die spektrale darstellung Von prädikaten. [REVIEW]Michael Deutsch & M. Deutsch - 1992 - Mathematical Logic Quarterly 38 (1):559-574.
No‐Self, Real Self, Ignorance and Self‐Deception: Does Self‐Deception Require a Self?Michael P. Levine - 1998 - Asian Philosophy 8 (2):103 – 110.
Analytics
Added to PP index
2015-12-02
Total views
30 ( #345,373 of 2,411,471 )
Recent downloads (6 months)
1 ( #538,999 of 2,411,471 )
2015-12-02
Total views
30 ( #345,373 of 2,411,471 )
Recent downloads (6 months)
1 ( #538,999 of 2,411,471 )
How can I increase my downloads?
Downloads
