1. Church, Alonzo, 1936. A Bibliography of Symbolic Logic. Journal of Symbolic Logic 1(4):155–183.
2. Chwistek, Leon, 1912. Zasada sprzeczności w świetle nowszych badań Bertranda Russella (The Law of Contradiction in the Light of Recent Investigations of Bertrand Russell). Rozprawy Akademii Umiejętności (Kraków), Wydzial historyczno-filozoficzny, Series II. 30:270–334.
3. Chwistek, Leon, 1921. Antynomie logiki formalnej. Przegla̧d Filozoficzny 24:164–71. Translated by Z. Jordan as Antinomies of formal logic. In Polish Logic: 1920–1939, ed. Storrs McCall, 338–345. Oxford: Clarendon Press (1967).
4. Chwistek, Leon, 1922a. Über die Antinomen der Prinzipien der Mathematik. Mathematische Zeitschrift 14:236–243.
5. Chwistek, Leon, 1922b. Zasady czystej teorii typów. Przegląd Filozoficzny 25(3):359–391. Translated by Adam Trybus as The principles of the pure type theory. In History and Philosophy of Logic 33 (November 2012), 329–352.