除本书外,其代表性作品还有:《符号逻辑》(Symbolic Logic,1954),《逻辑类型论》(The Theory of Logical Types,1971),《当代哲学逻辑》(Contemporary Philo ..
基于3个网页-相关网页
the theory of logical types
逻辑类型的理论
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动