1. G. Birkhoff, J. von Neumann, The logic of quantum mechanics, in: C.A. Hooker (Ed.), The Logico-algebraic Approach to Quantum Mechanics, Vol. 1, D. Reidel, Dordrecht, 1975, pp. 1–26 (original 1936).
2. Set Theory and the Continuum Hypothesis;Cohen,1966
3. Georg Cantor;Dauben,1979
4. Finite partially ordered quantifiers;Enderton;Z. Mat. Logic Grundlagen Math.,1970
5. S. Feferman, Tarski's conception of logic, forthcoming.