Programming the logic theory machineby Allen Newell, J. C. ShawWriting a summary for young readers…For young readersBook data: Open Library