[1] G. Birkhoff:
On the structure of abstract algebras. Proc. Cambridge Phil. Soc. 31 (1935), 433-454.
Zbl 0013.00105
[2] K. Gödel: The consistency of the axiom of choice etc. Princeton Univ. Press, 1940.
[3] A. Grzegorczyk:
Zarys logiki matematycznej. PWN Warszawa 1961.
MR 0151362
[4] A. Г. Kypoш: Лекции по общей алгебре. Госуд. издат. тех. лит., Mocква 1962.