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

共 50 条

[41] MONADIC 2ND-ORDER LOGIC AND CONTEXT-FREE GRAPH-GRAMMARS
COURCELLE, B
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 18 - 34
[42] A THEORY OF AUTOMATIC LOGIC PROGRAMMING BASED ON 2ND-ORDER TERM REWRITING TECHNIQUE
SUN, HM
QUN, LA
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 165 - 176
[43] 2ND-ORDER OPERATOR EQUATIONS
DEZIN, AA
SIBERIAN MATHEMATICAL JOURNAL, 1978, 19 (05) : 730 - 737
[44] ADVANCES IN 2ND-ORDER CALIBRATION
WANG, YD
BORGEN, OS
KOWALSKI, BR
GU, M
TURECEK, F
JOURNAL OF CHEMOMETRICS, 1993, 7 (02) : 117 - 130
[45] A 2ND-ORDER DIFFERENTIAL INEQUALITY
MILLER, SS
AMERICAN MATHEMATICAL MONTHLY, 1984, 91 (07): : 446 - 447
[46] 2ND-ORDER OPTIC FLOW
KOENDERINK, JJ
VANDOORN, AJ
JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION, 1992, 9 (04): : 530 - 538
[47] 2ND-ORDER RELIABILITY APPROXIMATIONS
KIUREGHIAN, AD
LIN, HZ
HWANG, SJ
JOURNAL OF ENGINEERING MECHANICS-ASCE, 1987, 113 (08): : 1208 - 1225
[48] THE 2ND-ORDER FISHER INFORMATION
HOSOYA, Y
BIOMETRIKA, 1988, 75 (02) : 265 - 274
[49] 2ND-ORDER CONDITIONING OF FEAR
MCALLISTER, DE
MCALLISTER, WR
PSYCHONOMIC SCIENCE, 1964, 1 (12): : 383 - 384
[50] 2ND-ORDER BERNSTEIN ALGEBRAS
OUATTARA, M
LINEAR ALGEBRA AND ITS APPLICATIONS, 1991, 144 : 29 - 38