[1] A. Tarski: Grundzüge des Systemenkalküls. Fund. Math. 25 (1935), 503-526. Zbl 0012.38501

[2] A. Tarski: Grundzüge des Systemenkalküls. Fund. Math. 26 (1936), 283-301. Zbl 0014.38701

[3] L. Rieger: On Free $\kappa_\zeta$-complete Boolean Algebras. Fund. Math. 38 (1951), 35-52. MR 0050561

[4] A. Robinson: On the Metamathematics of Algebra. Studies in Logic and the Foundations of Mathematics, Amsterdam 1951. MR 0046322 | Zbl 0043.24702

[5] D. Hilbert P. Bernays: Grundlagen der Mathematik, II. Berlin 1939.

[6] L. Henkin: The completeness of the first order functional calculus. Journ. Symb. L., 14 (1949), 42-48. MR 0033781 | Zbl 0034.00602

[7] R. Sikorski: On the representation of Boolean algebras as fields of setsy. Fund. Math. 35 (1948), 247-258. MR 0028374

[8] H. Rasiowa R. Sikorski: A Proof of the Completeness Theorem of Gödel. Fund. Math. 37 (1950), 193-200. MR 0040232

[9] D. Hilbert W. Ackermann: Grundzüge der theoretischen Logik. 2. vyd. Berlin 1938.

[10] L. Rieger: O algebře predikátového počtu. Litograf. tisk Ústř. mat. ústavu 1951.

[11] A. Mostowski: Logika matematyczna. Monografie matematyczne XVIII, Warszawa 1948. MR 0026972

[12] A. I. Malcev: Untersuchungen aus dem Gebiete der mathematischen Logik. Matem. Sb. 1, 43 (1936), 323-336.

[13] A. G. Kuroš: Těorija grupp. 2. vyd. Moskva 1953.

[14] J. Lós C. Ryll-Nardzewski: On the application of Tychonoff’s theorem in mathematical proofs. Fund. Math. 38 (1951), 233-237. MR 0048795

[15] L. Rieger: O sčetnych obobščennych $\sigma$-algebrach i novom dokazatěl’stve těoremy Gedel’a o polnotě. Čechosl. mat. ž. 1, 76 (1951), 33-49.