1. Ajdukiewicz, Kazimierz (1935). ‘Die Syntaktische Konnexität’, Studia Philosophica 1, 1–27.
2. Canty, John Thomas (1969a). ‘The Numerical Epsilon’, Notre Dame Journal of Formal Logic X, 47–63.
3. Canty, John Thomas (1969b). ‘Leśniewski’s Terminological Explanations as Recursive Concepts’, Notre Dame Journal of Formal Logic X, 337–369.
4. Chang, C.C. and Keisler, H.J. (1973). Model Theory, North-Holland Publ. Co.
5. Church, Alonzo (1956). Introduction to Mathematical Logic, Princeton University Press.