1. —Bemerkung der Redaktion, given at the end of Skolem's work [18],Üder die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslichen Zahlenvariablen, “Fundamenta Mathematicae”, 161, FM. 33 (1934).
2. Bernays P., Hilbert D.,Grundlagen der Mathematik, Berlin 1934–39.
3. Gödel K.,Die Vollständigkeit der Axiome des logischen Funktionenkalküls, “Monatshefte für Math. und Physik”, 37 (1930), pp. 349–360.
4. Henkin L.,The completeness of the first-order functional calculus “Journal of Symbolic Logic”, 14 (1949), pp. 159–166.
5. Herbrand J,Recherches sur la théorie de la démonstration, Prace Warszawskiego Towarzystwa Naukowego III, No.33, Warszawa 1930.