✦ LIBER ✦

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der Ersten Stufe.by János Surányi

✍ Scribed by Review by: Joseph S. Wholey

Book ID: 124964423
Publisher: Association for Symbolic Logic
Year: 1960
Tongue: English
Weight: 506 KB
Volume: 25
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2964712

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Systematische Behandlung der lösbaren Fä

Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe

✍ Dieter Klaua 📂 Article 📅 1955 🏛 John Wiley and Sons 🌐 English ⚖ 459 KB 👁 1 views

SYSTEMATISCHE BEHANDLUNG DER LOSBAREN FALLE DES ENTSCHEIDUNGSPROBLEMS FOR DEN PRADIKATENKALKQL DER ERSTEN STUFE') Von DIETER KLAUA in Berlin 1) m e r die Ergebnisae der vorliegenden Arbeit wurde auf der Jahrestagung der Deutschen Mathematiker-Vereinigung in Gottingen 1955 berichtet. 2) Man beschriin

Ein Direkter Beweis für die Allgemein-Re

Ein Direkter Beweis für die Allgemein-Rekursive Unlösbarkeit des entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.by László Kalmár

✍ Review by: Steven Orey 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 135 KB

A Logikai Függvénykalkulus Eldöntés-Prob

A Logikai Függvénykalkulus Eldöntés-Problémájának Redukciójáról (Zur Reduktion des Entscheidungsproblems des Logischen Funktionenkalkuls).by János Surányi

✍ Review by: Rózsa Péter 📂 Article 📅 1944 🏛 Association for Symbolic Logic 🌐 English ⚖ 411 KB