论文信息 - A DECISION PROCEDURE FOR A CLASS OF FORMULAS OF FIRST ORDER PREDICATE CALCULUS - 字舞流文

A DECISION PROCEDURE FOR A CLASS OF FORMULAS OF FIRST ORDER PREDICATE CALCULUS

Melven Robert Krom

[1] G. Hardy,et al. An Introduction to the Theory of Numbers , 1938 .

[2] William Craig,et al. Linear reasoning. A new form of the Herbrand-Gentzen theorem , 1957, Journal of Symbolic Logic.

[3] Alonzo Church,et al. Introduction to Mathematical Logic. Volume I. , 1957 .