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