STONE DUALITY FOR 1ST ORDER LOGIC

被引：25

|

作者：

MAKKAI, M ^{[1
]}

机构：

[1] HEBREW UNIV JERUSALEM,INST ADV STUDIES,JERUSALEM,ISRAEL

来源：

ADVANCES IN MATHEMATICS | 1987年 / 65卷 / 02期

关键词：

D O I：

10.1016/0001-8708(87)90020-X

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：97 / 170

页数：74

相关论文

共 50 条

[41] THE LOGIC OF 1ST ORDER INTUITIONISTIC TYPE THEORY WITH WEAK SIGMA-ELIMINATION
SWAEN, MDG
[J]. JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (02) : 467 - 483
[42] THE 1ST PASSAGE TIME TO THE EQUILIBRIUM STATE OF A 1ST ORDER REACTION
SOLC, M
[J]. COLLECTION OF CZECHOSLOVAK CHEMICAL COMMUNICATIONS, 1987, 52 (01) : 1 - 5
[43] SYMMETRY AND 1ST INTEGRALS OF 1ST ORDER ORDINARY DIFFERENTIAL SYSTEM
SHAPOVALOV, VN
[J]. IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII FIZIKA, 1977, (02): : 53 - 56
[44] A HIGHER-ORDER OF KILLING - STATILIUS-TAURUS AND ROME 1ST STONE AMPHITHEATER
WELCH, K
[J]. AMERICAN JOURNAL OF ARCHAEOLOGY, 1994, 98 (02) : 326 - 326
[45] THE 1ST COURSE IN LOGIC - A DEWEYAN APPROACH
EAMES, SM
[J]. JOURNAL OF GENERAL EDUCATION, 1963, 15 (01): : 46 - 54
[46] THE 1ST STEP TOWARDS AN APPROXIMATION LOGIC
RASIOWA, H
SKOWRON, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 509 - 509
[47] LOGIC DESIGN OR PHYSICAL DESIGN 1ST
PETERMAN, D
[J]. COMPUTER DESIGN, 1994, 33 (13): : A24 - A24
[48] WHICH COMES 1ST - LOGIC OR RATIONALITY
JOHNSONLAIRD, PN
[J]. BEHAVIORAL AND BRAIN SCIENCES, 1983, 6 (02) : 252 - 253
[49] 1ST ORDER ARITHMETICS IN TOPOI
DEKINDER, G
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 119 - 120
[50] ON A 1ST ORDER EQUATION WITH MEMORY
AMIRAT, Y
HAMDACHE, K
ZIANI, A
[J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1990, 311 (11): : 685 - 688

← 1 2 3 4 5 →