1. Th. Skolem, Logisch-kombinatorische Untersuchungen usw., Vid. Skrifter, Math.-Nat. Klasse 1920, Nr. 4.
2. K. Gödel, Zum Entscheidungsproblem des logischen Funktionenkalküls, Monatsh. f. Math. und Phys.40 (1933).
3. L. Kalmár, Ein Beitrag zum Entscheidungsproblem, Acta Scient. Math. Szeged5 (1932), S. 222–236.
4. Vgl. L. Kalmár, Zum Entscheidungsproblem der mathematischen Logik, Verh. Int. Math. Kongr. Zürich 1932.
5. Vgl. P. Bernays und M. Schönfinkel, Zum Entscheidungsproblem der mathematischen Logik. Math. Ann.99 (1928).