Lercher, A. (2023) „Curry’s Critique of the Syntactic Concept of Formal System and Methodological Autonomy for Pure Mathematics”, Filozofia Nauki, 31(1), s. 53–67. doi: 10.14394/filnau.2023.0002.