UNAM
Usted está aquí: Inicio / Actividades académicas / Carrusel actividades académicas / Coloquio del IMUNAM - C. U., mayo 2025

Coloquio del IMUNAM - C. U., mayo 2025

Lógicas de orden superior y verificación formal
Lourdes del Carmen González Huesca, Facultad de Ciencias, UNAM

https://www.matem.unam.mx/actividades/coloquio/cu/actividades/logicas-de-orden-superior-y-verificacion-formal
  • Coloquio del IMUNAM - C. U., mayo 2025

    Coloquio del IMUNAM - C. U., mayo 2025

    Auditorio Alfonso Nápoles Gándara