2ND-ORDER LOGIC

被引：67

作者：

BOOLOS, GS ^{[1
]}

机构：

[1] MIT,CAMBRIDGE,MA

来源：

JOURNAL OF PHILOSOPHY | 1975年 / 72卷 / 16期

关键词：

D O I：

10.2307/2025179

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：509 / 527

页数：19

相关论文

共 11 条

[1]

GENTZEN, 1969, COLLECTED PAPERS G G

[2]

GENTZEN, 1936, MATHEMATISCHE Z, V41, P357

[3] LOGICAL TRUTH REVISITED [J].

HINMAN, PG ;

KIM, J ;

STICH, SP .

JOURNAL OF PHILOSOPHY, 1968, 65 (17) :495-500

[4]

JEFFREY, 1967, FORMAL LOGIC

[5]

JEFFREY R, 1974, COMPUTABILITY LOGIC, pCH18

[6]

MATES, 1972, ELEMENTARY LOGIC

[7]

QUINE, 1972, METHODS LOGIC

[8]

QUINE, 1969, SET THEORY ITS LOGIC, P258

[9]

QUINE, 1970, PHILOSOPHY LOGIC

[10]

SKOLEM T, 1970, SELECTED WORKS LOGIC, P67