Ángel Nepomuceno Fernández, «Tablas semánticas y metalógica (El caso de la lógica de segundo orden)», CRHF, vol. 31, n.º 93, pp. 21–47, dic. 2018.