Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden
| Autor principal: | |
|---|---|
| Otras Contribuciones: | |
| Formato: | Tesis de licenciatura |
| Publicado: |
MX
2002
|
| Materias: | |
| Acceso en línea: | https://hdl.handle.net/20.500.14330/TES01000311955 http://132.248.9.195/ppt2002/0311955/Index.html |
| _version_ | 1832756798303502337 |
|---|---|
| author | García Cornejo, Parmenides |
| author2 | Amor Montaño, Jose Alfredo |
| author2_role | Asesor |
| author_facet | Amor Montaño, Jose Alfredo García Cornejo, Parmenides |
| author_sort | García Cornejo, Parmenides |
| collection | DSpace |
| degree_department | Facultad de Ciencias |
| degree_department_facet | Facultad de Ciencias |
| degree_grantor | Universidad Nacional Autónoma de México |
| degree_level | Licenciatura |
| degree_name | Licenciatura en Matemáticas |
| degree_name_facet | Licenciatura en Matemáticas |
| format | Tesis de licenciatura |
| id | 20.500.14330-TES01000311955 |
| institution | Universidad Nacional Autónoma de México |
| publishDate | 2002 |
| publisher | MX |
| record_format | dspace |
| rights | http://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones |
| spelling | 20.500.14330-TES010003119552025-03-27T03:59:42Z Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden García Cornejo, Parmenides Amor Montaño, Jose Alfredo Ciencias Físico - Matemáticas y de las Ingenierías Computación semántica 2002 Tesis de licenciatura https://hdl.handle.net/20.500.14330/TES01000311955 http://132.248.9.195/ppt2002/0311955/Index.html 001-00324-G5-2002-1 http://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones MX https://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000311955 Licenciatura en Matemáticas Universidad Nacional Autónoma de México Facultad de Ciencias Licenciatura |
| spellingShingle | Ciencias Físico - Matemáticas y de las Ingenierías Computación semántica García Cornejo, Parmenides Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden |
| title | Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden |
| title_full | Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden |
| title_fullStr | Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden |
| title_full_unstemmed | Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden |
| title_short | Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden |
| title_sort | logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden |
| topic | Ciencias Físico - Matemáticas y de las Ingenierías Computación semántica |
| url | https://hdl.handle.net/20.500.14330/TES01000311955 http://132.248.9.195/ppt2002/0311955/Index.html |
| work_keys_str_mv | AT garciacornejoparmenides logicadesegundoordenyreducciondelalogicadesegundoordenconsemanticasobreestructurasgeneralesalogicadeprimerorden |