Literatur
H. Behmann: Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem (Math. Ann. 86 [1922], 163–229).
P. Bernays undM. Schönfinkel: Zum Entscheidungsproblem der mathematischen Logik (Math. Ann. 99 [1928], 342–372).
D. Hilbert undW. Ackermann: Grundzüge der theoretischen Logik, Berlin, J. Springer, 1. Aufl. 1928, 3. Aufl. 1949.
L. Löwenheim: über Möglichkeiten im Relativkalkül (Math. Ann. 76 [1915], 447–470).
H. Scholz: Grundzüge der mathematischen Logik I, Münster, 1950.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Eichholz, T. Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen. Arch math Logik 3, 19–28 (1957). https://doi.org/10.1007/BF01977150
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01977150