Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Acevedo Acosta, Jorge Ohel"'
Publikováno v:
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
Se presenta una formalización de una axiomática del sistema de los números reales en un asistente de pruebas -- Además de una axiomática clásica se presenta una axiomática del sistema de los números reales para la matemática intuicionista --
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d511220f5f5d8b67be1eaeb407f3de30
