Buscar
Mostrando ítems 1-3 de 3
Decision problems and recursiveness in formal logic systemsProblemas de decisión y recursividad en sistemas lógicos formales
(Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2017)
Problemas de decisión y recursividad en sistemas lógicos formales
(Centro de Investigaciones en Matemática Pura y Aplicada (CIMPA) y Escuela de Matemática, San José, Costa Rica., 2016)
Una solución moderna para el "Entscheidungsproblem"
(Universidad de Costa Rica, 2005)