Publicación:
A Set Theory Formalization

Vista sencilla de ítem
dc.contributor.authorCalle-Saldarriaga, Alejandro
dc.contributor.departmentUniversidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computaciónspa
dc.contributor.eafitauthoracalles@eafit.edu.cospa
dc.date.accessioned2017-06-13T16:48:44Z
dc.date.available2017-06-13T16:48:44Z
dc.date.issued2017
dc.identifier.urihttps://hdl.handle.net/10784/11464
dc.language.isospa
dc.publisher.departmentUniversidad EAFIT. Escuela de Ciencias. Grupo de Investigación Lógica y Computaciónspa
dc.publisher.programGrupo de investigación en Lógica y Computaciónspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.rights.coarhttp://purl.org/coar/access_right/c_abf2
dc.rights.localAcceso abierto
dc.subject.keywordSet theoryspa
dc.subject.keywordAxiomsspa
dc.subject.keywordMathematicsspa
dc.subject.keywordAxiom of choicespa
dc.subject.keywordLogic, symbolic and mathematicalspa
dc.subject.lembTEORÍA DE CONJUNTOSspa
dc.subject.lembAXIOMASspa
dc.subject.lembMATEMÁTICASspa
dc.subject.lembAXIOMA DE ELECCIÓNspa
dc.subject.lembLÓGICA SIMBÓLICA Y MATEMÁTICAspa
dc.titleA Set Theory Formalization
dc.typeinfo:eu-repo/semantics/workingPaper
dc.type.coarhttp://purl.org/coar/resource_type/c_8042
dc.type.coarversionhttp://purl.org/coar/version/c_b1a7d7d4d402bcce
dc.type.localDocumento de trabajo de investigaciónspa
dc.type.redcolhttp://purl.org/redcol/resource_type/WP
dc.type.versioninfo:eu-repo/semantics/draft
dspace.entity.typePublication

Archivos

Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
Alejandro_CalleSaldiarriaga_2017.pdf
Tamaño:
147.47 KB
Formato:
Adobe Portable Document Format
Descripción:
Texto completo
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
2.5 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

Documentos de trabajo (working papers)