A Set Theory Formalization
| dc.contributor.author | Calle-Saldarriaga, Alejandro | |
| dc.contributor.eafitauthor | acalles@eafit.edu.co | spa |
| dc.date.accessioned | 2017-06-13T16:48:44Z | |
| dc.date.available | 2017-06-13T16:48:44Z | |
| dc.date.issued | 2017 | |
| dc.identifier.uri | http://hdl.handle.net/10784/11464 | |
| dc.language.iso | spa | spa |
| dc.publisher.department | Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación Lógica y Computación | spa |
| dc.publisher.program | Grupo de investigación en Lógica y Computación | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.rights.local | Acceso abierto | spa |
| dc.subject.keyword | Set theory | spa |
| dc.subject.keyword | Axioms | spa |
| dc.subject.keyword | Mathematics | spa |
| dc.subject.keyword | Axiom of choice | spa |
| dc.subject.keyword | Logic, symbolic and mathematical | spa |
| dc.subject.lemb | TEORÍA DE CONJUNTOS | spa |
| dc.subject.lemb | AXIOMAS | spa |
| dc.subject.lemb | MATEMÁTICAS | spa |
| dc.subject.lemb | AXIOMA DE ELECCIÓN | spa |
| dc.subject.lemb | LÓGICA SIMBÓLICA Y MATEMÁTICA | spa |
| dc.title | A Set Theory Formalization | spa |
| dc.type | workingPaper | spa |
| dc.type.hasVersion | draft | spa |
| dc.type.local | Documento de trabajo de investigación | spa |
Archivos
Bloque original
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
Bloque de licencias
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: