1. Distributive and modular laws in the arithmetic of relation algebras;Chin;Univ. Calif. Publ. Math.,1951
2. Berechenbarkeit;Felscher,1993
3. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes;Gödel;Dialectica,1958
4. L. Gordeev, Cut free formalization of logic with finitely many variables, CSL’94, Lecture Notes in Computer Science, Springer, Berlin, Vol. 933, 1995, pp. 136–150.
5. Variable compactness in 1-order logic;Gordeev;J. IGPL,1999