1. On the combination of subalgebras;Birkhoff;Proc. Cambridge Phil. Soc.,1933
2. On the structure of abstract algebras;Birkhoff;Proc. Cambridge Phil. Soc.,1935
3. Some interconnections between modern algebra and mathematical logic;Henkin;Trans. Amer. Math. Soc.,1953
4. Les types d'ordre définissables et les ensembles boréliens;Kuratowski;Fund. Math.,1937
5. J. Łoś, O matrycach logicznych, Prace Wroclawskiego Tow. Naukowego, Seria B. Nr 19, Wroclaw (1949)