title | ISBN-13 (ISBN-10) | year of publication |
---|---|---|
Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle | 978-981-13-9948-O (981-13-9948-4) | 2019 |
CENG YONG CHENG · CHENG YONG · LI YONG CHENG ZHU · Yang Chang · Yang Changwei · Yang Changxi · Yang Cheng · Yang Chunshi · Ying Cheng · Ying Cheong · Yong-Cheng Ning · Yong-Cheng Shi · Yongcai Chang · Yongwha Chung · Youngho Chang · Yung-Chung