Kurt Gödel (Essays for His Centennial) || The Gödel hierarchy and reverse mathematics
Feferman, Solomon; Parsons, Charles; Simpson, Stephen G.
- 作者Feferman, Solomon; Parsons, Charles; Simpson, Stephen G.
- 文件大小212.05KB
- 发表时间2010
- DOI10.1017/cbo9780511750762.008
- 页码109-127