Mathematical Logic as Based on the Theory of Types
Mathematical Logic as Based on the Theory of Types
复制标题
基于类型论的数理逻辑
DOI:
10.2307/2369948
复制
发表时间:
1908
影响因子:
1.7
通讯作者:
B. Russell
中科院分区:
文献类型:
--
作者:
B. Russell