体育外围

您所在的位置: 体育外围  >  学术研究  >  学术成果  >  正文

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

点击次数:   更新时间: 2021-09-08

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

作者: 程勇

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

出版年: 2019