TY  - DATA
AU  - Yong Cheng
TI  - Incompleteness for Higher-Order Arithmetic
SN  - 9789811399497
PY  - 2019///
PB  - Springer Nature Singapore
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-981-13-9949-7
ER  -