云顶国际,云顶国际官网,云顶国际官网注册

您所在的位置: 云顶国际  >  学术研究  >  学术成果  >  正文

【德国施普林格出版公司】程勇著作:《Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle》

返回云顶国际云顶国际 点击次数:  更新时间:2020-09-08

书名:《Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle》

作者:程勇

出版社:德国施普林格出版公司

出版年:2019