1. Alonso, E.: La Completitud como propiedad redundante. Notae Philosophicae Scientiae Formalis 2(2), 74–86 (2013)
2. Alonso, E., Marraud, H.: La lógica que aprendimos. Theoria 18(3) 327–349 (2003)
3. Bell, J.L., Machover, M.: A Course in Mathematical Logic. North-Holland, Amsterdam (1977)
4. Beth, E.: A topological proof of the theorem of Löwenheim Skolem–Gödel. Indag. Math. 13, 436–444 (1951)
5. Beth, E.: The Foundations of Mathematics. North-Holland, Amsterdam (1959)