Proyecto de Investigación:

Problemas teóricos en torno a la formalización en lógica primer orden y sus implicaciones pedagógicas