Ricardo Jaimes Urbán

Soy Ricardo Jaimes Urbán, Maestro en Ciencias Matemáticas. Obtuvé el grado en abril de 2024 con la tesis titulada “Una prueba de eliminación de corte para la lógica _GL”

Áreas de Interés

• Lógica.
• Teoría matemática de la computación