Nonstandard arguments and recursive arguments

Nonstandard arguments and recursive arguments
复制标题

非标准参数和递归参数

DOI:
--
复制
发表时间:
2011
期刊:
数理解析研究所講究録
影响因子:
--
通讯作者:
横山啓太
横山啓太
中科院分区:
--
文献类型:
--
作者:
Vladimir Kolmogorov;Akiyoshi Shioura;山本稔;山 本卓宏;田所勇樹;川上裕;Akira Sakai;A. Shioura;Minoru YAMAMOTO;田所勇樹;Yu Kawakami;山本卓宏;Akira Sakai;山本卓宏;Akira Sakai;田所勇樹;Akiyoshi Shioura;坂井哲;Yu Kawakami;山本卓宏;A. Shioura;川上裕;山本卓宏;坂井哲;田所勇樹;T.Yamamoto;川上裕;Akiyoshi Shioura;坂井哲;横山啓太

文献摘要

参考文献

相似文献

DOI: --
发表时间: 2006
影响因子: 0.6
作者:
H. Keisler
通讯作者: H. Keisler
DOI: 10.1016/j.apal.2010.01.001
发表时间: 2010
期刊: Ann. Pure Appl. Log.
影响因子: --
作者:
H. Keisler
通讯作者: H. Keisler
弱二阶算术中的乔丹曲线定理和 Schonflies 定理
DOI: --
发表时间: 2007
期刊: Archive for Mathematical Logic 46
影响因子: --
作者:
K. Washiyama;S. Ayik;and N. Takigawa;Nobuyuki Sakamoto and Keita Yokoyama
通讯作者: Nobuyuki Sakamoto and Keita Yokoyama
皮亚诺算术模型的结构
DOI: 10.1093/acprof:oso/9780198568278.001.0001
发表时间: 2006
影响因子: 0.6
作者:
R. Kossak;J. Schmerl
通讯作者: J. Schmerl
非标准组合数学
DOI: 10.1007/bf00370553
发表时间: 1988
期刊: Studia Logica: An International Journal for Symbolic Logic
影响因子: --
作者:
J. Hirshfeld
通讯作者: J. Hirshfeld