Now showing items 1-1 of 1

  • A Set Theory Formalization 

    Calle-Saldarriaga, Alejandro (Grupo de investigación en Lógica y Computación; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación Lógica y Computación, 2017)