【德国施普林格出版公司】程勇著作: 《Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle》
点击次数: 更新时间: 2019-09-08
书名: 《Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle》
作者: 程勇
出版社: 德国施普林格出版公司
出版年: 2019