Shapiro, Stewart (2000). 《Foundations without foundationalism: a case for second-order logic》. Oxford Logic Guides (영어) 17. Oxford University Press. doi:10.1093/0198250290.001.0001. ISBN978-0-19-825029-6.
Boolos, George S. (1975년 9월). “On second-order logic”. 《The Journal of Philosophy》 (영어) 72 (16): 509–527. doi:10.2307/2025179.
Shapiro, Stewart (1999년 2월). “Do not claim too much: second-order logic and first-order logic”. 《Philosophia Mathematica》 (영어) 7 (1): 42–64. doi:10.1093/philmat/7.1.42. ISSN0031-8019.
Shapiro, Stewart (2012년 10월). “Higher-order logic or set theory: a false dilemma”. 《Philosophia Mathematica》 (영어) 20 (3): 305–323. doi:10.1093/philmat/nks002. ISSN0031-8019.
Shapiro, Stewart (1999년 2월). “Do not claim too much: second-order logic and first-order logic”. 《Philosophia Mathematica》 (영어) 7 (1): 42–64. doi:10.1093/philmat/7.1.42. ISSN0031-8019.
Shapiro, Stewart (2012년 10월). “Higher-order logic or set theory: a false dilemma”. 《Philosophia Mathematica》 (영어) 20 (3): 305–323. doi:10.1093/philmat/nks002. ISSN0031-8019.