您所在的位置: 首页  >  学术研究  >  学术成果  >  正文

【德国施普林格出版公司】程勇著作:《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