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