Mathematical logic as based on the theory of types.

被引：309
|
作者：
Russell, B
机构：
来源：
AMERICAN JOURNAL OF MATHEMATICS | 1908年 / 30卷
关键词：
D O I：
10.2307/2369948
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：222 / 262
页数：41
相关论文
共 50 条
  • [1] Articles on the theory of certain integral types.
    Svenson, E
    JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1934, 170 (1/4): : 179 - 196
  • [2] Traditional Indian theory of constitutional types.
    Marie, A
    Johnson, CA
    Cen, S
    Azen, SP
    JOURNAL OF INVESTIGATIVE MEDICINE, 2000, 48 (01) : 18A - 18A
  • [3] The theory of the joint discharge of various ion types.
    Essin, O
    ZEITSCHRIFT FUR PHYSIKALISCHE CHEMIE-ABTEILUNG A-CHEMISCHE THERMODYNAMIK KINETIK ELEKTROCHEMIE EIGENSCHAFTSLEHRE, 1933, 164 (1/2): : 87 - 96
  • [4] Psychological types.
    Pieron, Henri
    ANNEE PSYCHOLOGIQUE, 1953, 53 (01): : 242 - 243
  • [5] The decomposition of sugar types.
    Jolles, A
    BIOCHEMISCHE ZEITSCHRIFT, 1910, 29 : 152 - 201
  • [6] Note on cranial types.
    von Torok, A
    BIOMETRIKA, 1902, 2 : 508 - 512
  • [7] Identification of butter types.
    Schlimme, E
    Lorenzen, PC
    Martin, D
    Meisel, H
    Thormahlen, K
    KIELER MILCHWIRTSCHAFTLICHE FORSCHUNGSBERICHTE, 1997, 49 (02): : 135 - 146
  • [8] Abstract Data Types.
    Zoller, P.
    Angewandte Informatik/Applied Informatics, 1981, 23 (10): : 429 - 431
  • [9] Some mammalian types.
    不详
    NATURE, 1906, 73 : 343 - 344
  • [10] An album of geological types.
    不详
    NATURE, 1911, 87 : 555 - 556
12345