Lampert T, Nakano A. Explaining the undecidability of first-order logic. ZFN [Internet]. 2024 Dec. 31 [cited 2025 Jul. 1];(77):3-23. Available from: https://zfn.edu.pl/index.php/zfn/article/view/694