A finitarily consistent free - variable positive fragment of infinitesimal analysis
A finitarily consistent free - variable positive fragment of infinitesimal analysis
复制标题
无穷小分析的有限一致自由变量正片段
DOI：
--
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
P. Suppes
中科院分区：
文献类型：
--
作者：
P. Suppes
