Cheng, Y., & Cheng, Y. (2019). Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle (1st ed. 2019.). Springer Singapore : Imprint: Springer. https://doi.org/10.1007/978-981-13-9949-7
Παραπομπή σε μορφή Chicago (17η εκδ.)Cheng, Yong, και Yong Cheng. Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle. 1st ed. 2019. Singapore: Springer Singapore : Imprint: Springer, 2019. https://doi.org/10.1007/978-981-13-9949-7.
Παραπομπή σε μορφή MLA (8th εκδ.)Cheng, Yong, και Yong Cheng. Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle. 1st ed. 2019. Springer Singapore : Imprint: Springer, 2019. https://doi.org/10.1007/978-981-13-9949-7.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.