TY  - GEN
AU  - Fernández,A.N.
TI  - Tablas semánticas y metalógica. (El caso de la lógica de segundo orden)
ER  -