Now showing items 1-1 of 1

    • Propiedades lógicas del clasificador de subobjetos en un topos 

      Arengas Reines, Gustavo Eduardo
      La presente tesis está dividida en tres partes: en la primera se estudia el problema de los conectivos nuevos en categorías de Heyting, generalizando algunos resultados conocidos; en las siguientes se trabajen dos casos ...
      Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas.