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
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