References
- Whitehead , A.N. and Russell , B. 1925-1927 . Principia Mathematica , Vol. 1 , Cambridge, , England : University Press . 2nd
- Newell , A. , Shaw , J.C. and Simon , H.A. 1957 . Empirical explorations of the logic theory machine . Proc. Western Joint Comput. Conf. 1957 , San Francisco, Calif.
- Stefferud , E. June 1963 . The Logic Theory Machine:A Model Heuristic Program , June , California : RAND Corporation Santa Monica . RM-3731-CC
- McCarthy , J. August 1962 . LISP 1.5 Programmers Manual , August , MIT Computation Center and RLE .
- Wang , H. 1960 . Toward mechanical mathematics . IBMJ. Res. Develop , 4 January