Buscar por Sustentante Salinas Rodríguez, Mauricio
Mostrando resultados 1 a 2 de 2
| Vista previa | Título | Sustentante | Fecha de publicación |
|---|---|---|---|
 | La reducción de la teoría de tipos de hintikka a la lógica de segundo orden | Salinas Rodríguez, Mauricio | 2014 |
 | Lógica de segundo orden y [omega]-modelos | Salinas Rodríguez, Mauricio | 2008 |