Lampert, T., & Nakano, A. (2024). Explaining the undecidability of first-order logic. Philosophical Problems in Science (Zagadnienia Filozoficzne W Nauce), 77, 3-23. https://doi.org/10.59203/zfn.77.694