COMBINATORY-LOGIC AND WHITEHEADS THEORY OF PREHENSIONS

被引：0

|

作者：

FITCH, FB

机构：

来源：

JOURNAL OF PHILOSOPHY | 1957年 / 54卷 / 06期

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：142 / 143

页数：2

相关论文

共 50 条

[21] BASIC RECURSION-THEORY IN PARTIALLY ORDERED MODELS OF SOME FRAGMENTS OF THE COMBINATORY-LOGIC
ZASHEV, JA
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1984, 37 (05): : 561 - 564
[22] A PROPERTY WHICH GUARANTEES TERMINATION IN WEAK COMBINATORY-LOGIC
PETTOROSSI, A
JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 401 - 401
[23] THE MIXED LAMBDA-CALCULUS AND COMBINATORY-LOGIC (AN OVERVIEW)
NIELSON, HR
NIELSON, F
COMPUTING AND INFORMATION, 1989, : 39 - 45
[24] SYSTEMS OF COMBINATORY-LOGIC RELATED TO QUINES NEW FOUNDATIONS
HOLMES, MR
ANNALS OF PURE AND APPLIED LOGIC, 1991, 53 (02) : 103 - 133
[25] CONSTRUCTIVE SET-THEORETIC MODELS OF TYPED COMBINATORY-LOGIC
KNOBEL, A
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (01) : 99 - 118
[26] THE CONSISTENCY OF A HIGHER-ORDER PREDICATE CALCULUS AND SET-THEORY BASED ON COMBINATORY-LOGIC
BUNDER, MW
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 425 - 425
[27] THE CONSISTENCY OF A HIGHER-ORDER PREDICATE CALCULUS AND SET-THEORY BASED ON COMBINATORY-LOGIC
BUNDER, MW
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 182 - 182
[28] DISCUSSIONS ABOUT THE REPORT COMBINATORY-LOGIC AS THE 1ST ORDER MATHEMATICAL-THEORY
KE, T
CHINESE SCIENCE BULLETIN, 1990, 35 (23): : 2012 - 2013
[29] COMBINATORY-LOGIC, VOL 1 - CURRY,HB, FEYS,R
PARSONS, CD
PHILOSOPHICAL REVIEW, 1959, 68 (04): : 548 - 550
[30] A COMBINATORY-LOGIC APPROACH TO HIGHER-ORDER E-UNIFICATION
DOUGHERTY, DJ
JOHANN, P
THEORETICAL COMPUTER SCIENCE, 1995, 139 (1-2) : 207 - 242

← 1 2 3 4 5 →