Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe
- 1 January 1955
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 1 (4) , 264-270
- https://doi.org/10.1002/malq.19550010404
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Untersuchungen zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1934
- Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthaltenMathematische Annalen, 1933