𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Eine Semantische Charakterisierung der Deduktiv Abgeschlossenen Mengen des Prädikatenkalküls der Ersten Stufe.by Günter Asser

✍ Scribed by Review by: Leon Henkin


Book ID
124949514
Publisher
Association for Symbolic Logic
Year
1955
Tongue
English
Weight
200 KB
Volume
20
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Ein Direkter Beweis für die Allgemein-Re
✍ László Kalmár 📂 Article 📅 1956 🏛 John Wiley and Sons 🌐 English ⚖ 888 KB

Fur den zuerst von A. CHURCH^) bewiesenen Satz, wonach das Entscheidungsproblem des Pradikatenkalkiils der ersten Stufe (mit oder ohne Identitiit) 3, sich (bei Zugrundelegung der iiblichen Numerierungen der Formeln des Priidikatenkalkiils) nicht durch ein allgemein-rekursives Verfahren losen laBt,4)