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

                                     


XML 地图 | Sitemap 地图