La reducción de la teoría de tipos de hintikka a la lógica de segundo orden
| Autor principal: | |
|---|---|
| Otras Contribuciones: | |
| Formato: | Tesis de maestría |
| Lenguaje: | Español |
| Publicado: |
2014
|
| Materias: | |
| Acceso en línea: | https://hdl.handle.net/20.500.14330/TES01000719132 http://132.248.9.195/ptd2014/septiembre/0719132/Index.html |
| _version_ | 1777516265084026880 |
|---|---|
| author | Salinas Rodríguez, Mauricio |
| author2 | Miranda Perea, Favio Ezequiel |
| author2_role | Asesor |
| author_facet | Miranda Perea, Favio Ezequiel Salinas Rodríguez, Mauricio |
| author_sort | Salinas Rodríguez, Mauricio |
| collection | DSpace |
| dc:degree.department | Programa de Posgrado en Ciencias Matemáticas |
| dc:degree.department_facet | Programa de Posgrado en Ciencias Matemáticas |
| dc:degree.grantor | Universidad Nacional Autónoma de México |
| dc:degree.level | Maestría |
| dc:degree.name | Maestría en Ciencias (Matemáticas) |
| dc:degree.name_facet | Maestría en Ciencias (Matemáticas) |
| dc:rights | http://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones |
| format | Tesis de maestría |
| id | 20.500.14330-TES01000719132 |
| institution | Universidad Nacional Autónoma de México |
| language | Español |
| publishDate | 2014 |
| record_format | dspace |
| spelling | 20.500.14330-TES010007191322021-05-17T00:31:31Z La reducción de la teoría de tipos de hintikka a la lógica de segundo orden Salinas Rodríguez, Mauricio Miranda Perea, Favio Ezequiel Ciencias Físico-Matemáticas e Ingenierías 2014 Tesis de maestría publishedVersion https://hdl.handle.net/20.500.14330/TES01000719132 http://132.248.9.195/ptd2014/septiembre/0719132/Index.html spa http://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones MX https://tesiunam.dgb.unam.mx/F?func=direct¤t_base=TES01&doc_number=000719132 Maestría en Ciencias (Matemáticas) Universidad Nacional Autónoma de México Programa de Posgrado en Ciencias Matemáticas Maestría |
| spellingShingle | Ciencias Físico-Matemáticas e Ingenierías Salinas Rodríguez, Mauricio La reducción de la teoría de tipos de hintikka a la lógica de segundo orden |
| title | La reducción de la teoría de tipos de hintikka a la lógica de segundo orden |
| title_full | La reducción de la teoría de tipos de hintikka a la lógica de segundo orden |
| title_fullStr | La reducción de la teoría de tipos de hintikka a la lógica de segundo orden |
| title_full_unstemmed | La reducción de la teoría de tipos de hintikka a la lógica de segundo orden |
| title_short | La reducción de la teoría de tipos de hintikka a la lógica de segundo orden |
| title_sort | la reducción de la teoría de tipos de hintikka a la lógica de segundo orden |
| topic | Ciencias Físico-Matemáticas e Ingenierías |
| url | https://hdl.handle.net/20.500.14330/TES01000719132 http://132.248.9.195/ptd2014/septiembre/0719132/Index.html |
| work_keys_str_mv | AT salinasrodriguezmauricio lareducciondelateoriadetiposdehintikkaalalogicadesegundoorden |