| 标题 |
 ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED 类型理论中的分析性与综合性再探
相关领域
类型（生物学）
建设性的
正确性
解析函数
认识论
功能（生物学）
数学
范围（计算机科学）
数理经济学
牙石（牙科）
哲学
纯数学
计算机科学
算法
医学
进化生物学
生物
过程（计算）
操作系统
牙科
程序设计语言
生态学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：The Review of Symbolic Logic 作者：Bruno Bentzen 出版日期：2023-06-27 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
大力的灵雁
GingerF
无极微光
嘉心糖
BowieHuang
Widy
Joehq_1203
黑猫乾杯
麻花阳
愔愔
tuanheqi
佳俊
arniu2008
Dean
扶雨至姑苏
verdure
YifanWang
AmFae
识字岭的岭
丘比特
皖公网安备34019202002308
