COMPUTER PROGRAMMING AND FORMAL SYSTEMSPDF电子书下载

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