Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden

Detalles Bibliográficos
Autor principal: García Cornejo, Parmenides
Otras Contribuciones: Amor Montaño, Jose Alfredo (Asesor)
Formato: Tesis de licenciatura
Lenguaje:Español
Publicado: 2002
Materias:
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000311955
http://132.248.9.195/ppt2002/0311955/Index.html