Garcia Cornejo, Parmenides <br/><br/>
Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden 

 - Mexico :  El autor,  2002 
 - 116, [3] p. 
<br/><br/>Tesis Licenciatura (Matematico)-UNAM, Facultad de Ciencias