1. On the Structure of Abstract Algebras
2. The completeness of the first-order functional calculus
3. C. Martin, Equational theories of natural numbers and transfinite ordinals, Doctoral dissertation, University of California, Berkeley, 1973.
4. D. Monk, Introduction to Set Theory, McGraw-Hill, New York, 1969.
5. A. Tarski, The Concept of Truth in Formalized Languages, Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956.