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
中科院分区:
数学1区
文献类型:
--
作者:
B. Russell

文献摘要

被引文献

相似文献