Incompleteness for Higher-Order Arithmetic

MLA

Cheng. Incompleteness for Higher-order Arithmetic. Springer Singapore, 2019.

APA

Cheng, C. (2019). Incompleteness for Higher-Order Arithmetic. Springer Singapore.

Chicago

Cheng Incompleteness for Higher-Order Arithmetic. : Springer Singapore, 2019.