A PROOF METHOD FOR QUANTIFICATION THEORY - ITS JUSTIFICATION AND REALIZATION

被引：62

作者：

GILMORE, PC

机构：

来源：

关键词：

D O I：

10.1147/rd.41.0028

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：28 / 35

页数：8

共 14 条

[1]

BETH EW, 1955, ACTA PHILOS FENNICA

[2]

CHURCH A, 1956, INTRO MAT LOGIC, P262

[3]

DUNHAM B, 1959 P INT C INF PRO

[4] INTELLIGENT BEHAVIOR IN PROBLEM-SOLVING MACHINES [J].

GELERNTER, HL ;

ROCHESTER, N .

[5]

GELERNTER HL, 1959 P INT C INF PRO

[6]

HERBRAND J, 1930, TRAVAUX SOC SC 3 SMP

[7]

Newell A., 1957, P W JOINT COMP C, P218, DOI DOI 10.1145/1455567.1455605

[8]

PRAWITZ D, 1959 P INT C INF PRO

[9]

ROSSER JB, LOGIC MATH, P150

[10] TOWARD MECHANICAL MATHEMATICS [J].

WANG, H .