The_Newell_and_Simon_program_that_proved_theorems_of_Principal_Mathematical_was:$

• A. Elementary Perceiver
• B. General Problem Solver
• C. Logic Theorist
• D. Boolean Algebra