Lercher, A. „Curry’s Critique of the Syntactic Concept of Formal System and Methodological Autonomy for Pure Mathematics”. Filozofia Nauki, t. 31, nr 1, grudzień 2023, s. 1-15, doi:10.14394/filnau.2023.0002.