Now showing items 1-1 of 1

    • Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales 

      Fajardo V., Sergio
      Este artículo se refiere al estudio de extensiones de la lógica de primer orden (Lωω) que preservan ciertas propiedades fundamentales, y aumentan su poder expresivo, en el sentido de que permiten axiomatizar clases de ...
      Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas.