Tablas semánticas y metalógica (El caso de la lógica de segundo orden) | Publicación