1. Löwenheim, Über Möglichkeiten im Relativkalkül, Math. Annalen76 (1915);
2. Skolem, Untersuchungen über die Axiome des Klassenkalküls, Oslo Vidensk. Skrifter I. Math-nat. Klasse 1919, Nr.3; Behmann, Beiträge zur Algebra der Logik und zum Entscheidungsproblem, Math. Annalen86 (1922).
3. Die im folgenden benutzte Methode der Wegschaffung von All- und Seinszeichen hat bereits mehrfach Anwendung gefunden, z. B. bei Presburger und Herbrand; vgl. Presburger, Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, Compt. Rend. du premier Congr. d. Math. des Pays Slaves 1929, Warschau 1930; Herbrand, Recherches sur la théorie de la démonstration, Paris 1930. Presburger zitiert seinerseits als Vorläufer Skolem und Langford.