Comparing non-standard axioms with axioms of second-order arithmetic

Comparing non-standard axioms with axioms of second-order arithmetic
复制标题

比较非标准公理与二阶算术公理

DOI:
--
复制
发表时间:
2010
期刊:
影响因子:
--
通讯作者:
横山啓太
横山啓太
中科院分区:
--
文献类型:
--
作者:
八森正泰;繁野麻衣子;竹原令依子;梁松;坂井哲;八森正泰;横山啓太

文献摘要

参考文献

被引文献

相似文献

视觉定理
DOI: 10.1007/bf01273369
发表时间: 1993
影响因子: 3.2
作者:
P. Davis
通讯作者: P. Davis
DOI: 10.1007/bf01273371
发表时间: 1993
影响因子: 3.2
作者:
D. Chazan
通讯作者: D. Chazan