1. Bell, E. T., The Development of Mathematics. Second edition, McGraw-Hill, 1945.
2. Boole, George, The Mathematical Analysis of Logic. Cambridge, 1847. Repainted, Oxford, 1948.
3. Chang, Chin-Liang and Richard, Char-Tung Lee, Symbolic Logic and Mechanical Theorem Proving.Academic Pres, 1973.
4. Chinlund, T. J., M. Davis, P. G. Hinman, and M. D. Mcllroy, Theorem Proving by Matching. Bell Laboratories, 1964.
5. Church, Alonzo, A Note on the Entscheidungsproblem. The Journal of Symbolic Logic 1 (1936) 40–41; correction, Ibid., 101–102. Reprinted (with correction incorporated into text) in [Davis 1965].