1. L. Löwenheim, Über Möglichkeiten im Relativkalkül, Math. Annalen76 (1915); Th. Skolem, Untersuchungen über die Axiome des Klassenkalkuls ..., Videnskapsselskapets Skrifter. I. Math.-Nat. Klasse 1919, Nr. 3; H. Behmann, Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem, Math. Annalen 86 (1922).
2. P. Bernays und M. Schönfinkel, Zum Entscheidungsproblem der mathematischen Logik, Math. Annalen99 (1928).
3. W. Ackermann, Über die Erfüllbarkeit gewisser Zählausdrücke, Math. Annalen100 (1928).
4. J. Herbrand, Sur le problème fondamental de la logique mathématique, Compt. Rend. de la Soc. des Sc. et L. de Varsovie 1931.
5. K. Gödel, Ein Spezialfall des Entscheidungsproblems der theoretischen Logik, Ergebn. eines math. Kolloqu., Heft 2 (1932). Unabhängig hiervon ist dasselbe Problem auch von L. Kalmár gelöst in der Arbeit: ?Über die Erfüllbarkeit der?enigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten?, Math. Annalen108 (1933). Beide Abhandlungen sind mir jedoch erst nach Fertigstellung der vorliegenden Arbeit bekannt geworden.