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