Ángel Nepomuceno Fernández, “Tablas semánticas y metalógica (El caso de la lógica de segundo orden)”, CRHF, vol. 31, no. 93, pp. 21–47, Dec. 2018.