Incompleteness for higher-order arithmetic an example based on Harrington's principle /

• 作者：by Yong Cheng.
• 出版者：Springer Singapore : Imprint: Springer
• 出版地：Singapore :
• 語文：英語
• 叢書名：SpringerBriefs in mathematics,
• 電子資源：https://doi.org/10.1007/978-981-13-9949-7
• ISBN/ISSN/ISRC：9789811399497 ; 9789811399480
• 作者：Cheng, Yong.
• 索書號：511.3