Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen
- 1 March 1957
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 3 (1-2) , 19-28
- https://doi.org/10.1007/bf01977150
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1928
- Beiträge zur Algebra der Logik, insbesondere zum EntscheidungsproblemMathematische Annalen, 1922
- Über Möglichkeiten im RelativkalkülMathematische Annalen, 1915