Distribución del aceleramiento no trivial en la demostración de sistemas axiomáticos aleatorios en el cálculo de proposiciones

Sinodales:
FRANCISCO HERNANDEZ QUIROZ;
Autores:
Hernández Orozco, Santiago
Tipo de tesis:
Tesis de Maestría
Entidad presentadora de examen profesional:
Coordinación de Estudios de Posgrado
Entidades por adscripción en la UNAM:
Facultad de Ciencias;