LAMPERT, T.; NAKANO, A. Explaining the undecidability of first-order logic. Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce), [S. l.], n. 77, p. 3–23, 2024. DOI: 10.59203/zfn.77.694. Disponível em: https://zfn.edu.pl/index.php/zfn/article/view/694. Acesso em: 9 may. 2025.