Lercher, Aaron. 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.