1. Boyer, R., E. Lusk, W. McCune, R. Overbeek, M. Stickel, and L. Wos, “Set theory in first order logic: clauses for Gödel's axioms,” Journal of Automated Reasoning, vol. 2 (1986), pp. 287–327. Zbl 0635.03008
2. Church, A., Introduction to Mathematical Logic, Volume 1, Princeton University Press, Princeton, 1956. Zbl 0073.24301 MR 18,631a
3. Cohen, P. J., Set Theory and the Continuum Hypothesis, W. A. Benjamin, Reading, 1966. Zbl 0182.01301 MR 38:999
4. Hamilton, A. G., Logic for Mathematicians, Cambridge University Press, Cambridge, 1988. Zbl 0653.03001 MR 89e:03002
5. Hindley, J. R., and D. Meredith, “Principal type-schemes and condensed detachment,” The Journal of Symbolic Logic, vol. 55 (1990), pp. 90–105. Zbl 0708.03007 MR 91b:03020