Buscar por Sustentante Nakid Cordero, Antonio
Mostrando resultados 1 a 1 de 1
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
![]() | Un resultado de completud para progresiones transfinitas de sistemas axiomáticos recursivamente enumerables | Nakid Cordero, Antonio | 2018 |