Baier, Christel (2012). "Chapter 1.3 Undecidability of FOL". Lecture Notes — Advanced Logics. Technische Universität Dresden — Institute for Technical Computer Science. ص. 28–32. مؤرشف من الأصل(PDF) في 2020-10-14. اطلع عليه بتاريخ 2012-07-21.
web.archive.org
Baier, Christel (2012). "Chapter 1.3 Undecidability of FOL". Lecture Notes — Advanced Logics. Technische Universität Dresden — Institute for Technical Computer Science. ص. 28–32. مؤرشف من الأصل(PDF) في 2020-10-14. اطلع عليه بتاريخ 2012-07-21.