HAO WANG:Mechanical Mathematics and Inferential Analysis 1
E.W.BETH:Observations Concerning Computing, Deduction, and Heuris-tics 21
JOHN MCCARTHY:A Basis for a Mathematical Theory of Computation 33
P.C.GILMoRE:An Abstract Computer with a Lisp-Like Machine Language without a Label Operator 71
STIG KANGER:A Simplified Proof Method for Elementary Logic 87
A.ROBINSON:A Basis for the Mechanization of the Theory of Equations 95
ARTHUR W.BURKS:Programming and the Theory of Automata 100
N.CHOMSKY and SCHUTZENEERGER:The Algebraic Theory of Context-Free Languages 118