AUTOMATIC SET-THEORY

被引：0

|

作者：

LOWENTHAL, F

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1977年 / 42卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：459 / 460

页数：2

相关论文

共 50 条

[1] AUTOMATIC THEOREM PROVING IN SET-THEORY
PASTRE, D
[J]. ARTIFICIAL INTELLIGENCE, 1978, 10 (01) : 1 - 27
[2] EPISTEMIC SET-THEORY IS A CONSERVATIVE EXTENSION OF INTUITIONISTIC SET-THEORY
FLAGG, RC
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 895 - 902
[3] SET-THEORY
GRAYSHAN, D
[J]. JOURNAL OF INFORMATION SCIENCE, 1982, 5 (04) : 151 - 152
[4] CONSISTENCY OF CLASSICAL SET-THEORY RELATIVE TO A SET-THEORY WITH INTUITIONISTIC LOGIC
FRIEDMAN, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 315 - 319
[5] SET-THEORY IN MODEL THEORY
MIJOULE, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 453 - 453
[6] DIALECTICAL SET-THEORY
ROUTLEY, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 363 - 363
[7] EMPIRICAL SET-THEORY
NISHIMURA, H
[J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1993, 32 (08) : 1293 - 1321
[8] ITERATIVE SET-THEORY
POTTER, MD
[J]. PHILOSOPHICAL QUARTERLY, 1993, 43 (171): : 178 - 193
[9] SET-THEORY AND MANAGEMENT
SADEK, KE
TOMESKI, EA
[J]. JOURNAL OF SYSTEMS MANAGEMENT, 1979, 30 (10): : 6 - 11
[10] CORRECTION IN SET-THEORY
DILWORTH, W
[J]. TRANSACTIONS OF THE WISCONSIN ACADEMY SCIENCES ARTS AND LETTERS, 1974, 62 : 205 - 216

← 1 2 3 4 5 →