ON THE COMPLETENESS OF QUANTIFICATION THEORY

被引：6

作者：

DREBEN, B

机构：

来源：

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA | 1952年 / 38卷 / 12期

关键词：

D O I：

10.1073/pnas.38.12.1047

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：1047 / 1052

页数：6

相关论文

共 7 条

[1]

Godel K., 1930, MONATSHEFTE MATH PHY, V37, P103, DOI DOI 10.1007/BF01696781

[2]

HERBRAND J, 1930, TRAV SOC SCI LETT 3, P1

[3]

HILBERT, 1934, GRUNDLAGEN MATH, V1

[4]

HILBERT, 1939, GRUNDLAGEN MATH, V2

[5]

QUINE, 1950, J SYMBOLIC LOGIC, V15, P93

[6]

ROSSER JB, 1951, J SYMBOLIC LOGIC, V16, P22

[7]

DISPARATES FUNKTIONE, V2, P167