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