Mathematical logic as based on the theory of types.

被引：309

作者：

Russell, B

机构：

来源：

关键词：

D O I：

10.2307/2369948

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：222 / 262

页数：41

共 50 条

[31] Regarding the groupings of different chrystal types.
Wallerant, F
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1902, 135 : 798 - 800
[32] OBJECT-ORIENTED DATA MANAGEMENT BASED ON ABSTRACT DATA TYPES.
Annevelink, J.
Dewilde, P.
Software - Practice and Experience, 1987, 17 (11) : 757 - 782
[33] NUCLEAR POWER - EXISTING REACTOR TYPES.
Anon
Civil engineering London, 1983, : 22 - 23
[34] THE CALANQUES PROVENCE ORIGIN AND VARIOUS TYPES.
Chardonnet, Jean
ANNALES DE GEOGRAPHIE, 1948, 57 (308): : 289 - 297
[35] On the phosphatide concentration of several muscle types.
Sorg, K
HOPPE-SEYLERS ZEITSCHRIFT FUR PHYSIOLOGISCHE CHEMIE, 1929, 182 : 97 - 106
[36] The Vi antigens of various salmonella types.
Felix, A
Pitt, RM
BRITISH JOURNAL OF EXPERIMENTAL PATHOLOGY, 1936, 17 (01): : 81 - 86
[37] COMPARISON BETWEEN BIMOS DEVICE TYPES.
Adler, Michael S.
IEEE Transactions on Electron Devices, 1986, ED-33 (02) : 286 - 293
[38] Margavibhaga. The difference of style types.
Schneider, Johannes
ZEITSCHRIFT DER DEUTSCHEN MORGENLANDISCHEN GESELLSCHAFT, 2007, 157 (01): : 243 - 246
[39] PRINCIPAL UK FISHING VESSEL TYPES.
Cheesley, N.R.
Foster, J.F.
1600,
[40] The dependence of the maligne growth of metabolic types.
Reis, A
Kluge, L
NAUNYN-SCHMIEDEBERGS ARCHIV FUR EXPERIMENTELLE PATHOLOGIE UND PHARMAKOLOGIE, 1936, 181 : 281 - 284