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