RESOLUTION IN TYPE THEORY

被引：83

作者：

ANDREWS, PB

机构：

来源：

关键词：

D O I：

10.2307/2269949

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：414 / &

共 13 条

[1]

ANDREWS PB, 1965, TRANSFINITE TYPE THE

[2]

Church A., 1940, J SYMBOLIC LOGIC, V5, P56, DOI [10.2307/2266170, DOI 10.2307/2266170]

[3]

Gould W.E., 1966, THESIS PRINCETON U

[4]

GOULD WE, 1966, AF196283250 CONTR

[5]

Henkin L., 1950, J SYMBOLIC LOGIC, V15, P81

[6] AN ABSTRACT FORM OF CHURCH-ROSSER THEOREM .1. [J].

HINDLEY, R .

[7] FIXED POINTS [J].

KOLODNER, II .

[8] HAUPTSATZ FOR HIGHER ORDER LOGIC [J].

PRAWITZ, D .

[9] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .

[10]

Sch?tte, 1960, J SYMBOLIC LOGIC, V25, P305, DOI [10.2307/2963525, DOI 10.2307/2963525]