СоркинЮ.И. 1951. Независимые системы аксиом, определяющие структуру. Ukrains’kyi Matematychnyi Zhurnal. 3, 1 (Jan. 1951), 85-97.