A Set Theory Formalization

2017-06-132017https://hdl.handle.net/10784/11464spaA Set Theory Formalizationinfo:eu-repo/semantics/workingPaperinfo:eu-repo/semantics/openAccessTEORÍA DE CONJUNTOSAXIOMASMATEMÁTICASAXIOMA DE ELECCIÓNLÓGICA SIMBÓLICA Y MATEMÁTICASet theoryAxiomsMathematicsAxiom of choiceLogic, symbolic and mathematicalAcceso abierto2017-06-13Calle-Saldarriaga, Alejandrohttp://purl.org/coar/access_right/c_abf2