Master of Science
Haynes, Thomas M.
In 1956 A. Newell and H.A. Simon (with the aid of J.C. Shaw) published the first paper on the Logic Theory Machine (L.T.). In effect, L.T. was a computer program that proved theorems in propositional logic.
Coyne, John P., "The logic theory machine as a theory of human problem-solving" (1968). Theses and Dissertations. 3649.