Teoría intuicionista de modelos sobre órdenes parciales

Magíster en Matemáticas

Autores:
Forero Cuervo, Andrés
Tipo de recurso:
Fecha de publicación:
2007
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
spa
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/9450
Acceso en línea:
http://hdl.handle.net/1992/9450
Palabra clave:
Lógica simbólica y matemática
Teoría de modelos
Matemáticas
Rights
openAccess
License
http://creativecommons.org/licenses/by-nc-sa/4.0/
id UNIANDES2_ac02761c056654924a77b2d0f12e2f4e
oai_identifier_str oai:repositorio.uniandes.edu.co:1992/9450
network_acronym_str UNIANDES2
network_name_str Séneca: repositorio Uniandes
repository_id_str
spelling Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Caicedo Ferrer, Xaviervirtual::7125-1Forero Cuervo, Andrés4e40f83b-7c11-4cc3-a314-2f1f44171d635002018-09-27T18:39:20Z2018-09-27T18:39:20Z2007http://hdl.handle.net/1992/9450u281739.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/48 hojasapplication/pdfspaUniandesMaestría en MatemáticasFacultad de CienciasDepartamento de Matemáticasinstname:Universidad de los Andesreponame:Repositorio Institucional SénecaTeoría intuicionista de modelos sobre órdenes parcialesTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesishttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TMLógica simbólica y matemáticaTeoría de modelosMatemáticasMagíster en MatemáticasMaestríaPublication121813f3-5233-44f4-becd-1189c3e14fddvirtual::7125-1121813f3-5233-44f4-becd-1189c3e14fddvirtual::7125-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000250821virtual::7125-1TEXTu281739.pdf.txtu281739.pdf.txtExtracted texttext/plain78271https://repositorio.uniandes.edu.co/bitstreams/43fb7bf1-6397-49dc-978a-44b1de1f9438/downloade64721e87488df8ba8fe4e858e9d065aMD54ORIGINALu281739.pdfapplication/pdf322820https://repositorio.uniandes.edu.co/bitstreams/1d424787-f9fc-4f27-8d96-c89239ddd63a/download0c5597e5a458cd8c15a0bb6bf8a950dbMD51THUMBNAILu281739.pdf.jpgu281739.pdf.jpgIM Thumbnailimage/jpeg4603https://repositorio.uniandes.edu.co/bitstreams/dd5fe72c-b3ab-4841-9890-0f281359c76d/download82075123cbae9b7a35a01f17357e4e71MD551992/9450oai:repositorio.uniandes.edu.co:1992/94502024-03-13 13:21:18.93http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co
dc.title.es_CO.fl_str_mv Teoría intuicionista de modelos sobre órdenes parciales
title Teoría intuicionista de modelos sobre órdenes parciales
spellingShingle Teoría intuicionista de modelos sobre órdenes parciales
Lógica simbólica y matemática
Teoría de modelos
Matemáticas
title_short Teoría intuicionista de modelos sobre órdenes parciales
title_full Teoría intuicionista de modelos sobre órdenes parciales
title_fullStr Teoría intuicionista de modelos sobre órdenes parciales
title_full_unstemmed Teoría intuicionista de modelos sobre órdenes parciales
title_sort Teoría intuicionista de modelos sobre órdenes parciales
dc.creator.fl_str_mv Forero Cuervo, Andrés
dc.contributor.advisor.none.fl_str_mv Caicedo Ferrer, Xavier
dc.contributor.author.none.fl_str_mv Forero Cuervo, Andrés
dc.subject.keyword.es_CO.fl_str_mv Lógica simbólica y matemática
Teoría de modelos
topic Lógica simbólica y matemática
Teoría de modelos
Matemáticas
dc.subject.themes.none.fl_str_mv Matemáticas
description Magíster en Matemáticas
publishDate 2007
dc.date.issued.none.fl_str_mv 2007
dc.date.accessioned.none.fl_str_mv 2018-09-27T18:39:20Z
dc.date.available.none.fl_str_mv 2018-09-27T18:39:20Z
dc.type.spa.fl_str_mv Trabajo de grado - Maestría
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/masterThesis
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TM
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/1992/9450
dc.identifier.pdf.none.fl_str_mv u281739.pdf
dc.identifier.instname.spa.fl_str_mv instname:Universidad de los Andes
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional Séneca
dc.identifier.repourl.spa.fl_str_mv repourl:https://repositorio.uniandes.edu.co/
url http://hdl.handle.net/1992/9450
identifier_str_mv u281739.pdf
instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
repourl:https://repositorio.uniandes.edu.co/
dc.language.iso.es_CO.fl_str_mv spa
language spa
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.coar.spa.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.es_CO.fl_str_mv 48 hojas
dc.format.mimetype.es_CO.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Uniandes
dc.publisher.program.es_CO.fl_str_mv Maestría en Matemáticas
dc.publisher.faculty.es_CO.fl_str_mv Facultad de Ciencias
dc.publisher.department.es_CO.fl_str_mv Departamento de Matemáticas
publisher.none.fl_str_mv Uniandes
dc.source.es_CO.fl_str_mv instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
instname_str Universidad de los Andes
institution Universidad de los Andes
reponame_str Repositorio Institucional Séneca
collection Repositorio Institucional Séneca
bitstream.url.fl_str_mv https://repositorio.uniandes.edu.co/bitstreams/43fb7bf1-6397-49dc-978a-44b1de1f9438/download
https://repositorio.uniandes.edu.co/bitstreams/1d424787-f9fc-4f27-8d96-c89239ddd63a/download
https://repositorio.uniandes.edu.co/bitstreams/dd5fe72c-b3ab-4841-9890-0f281359c76d/download
bitstream.checksum.fl_str_mv e64721e87488df8ba8fe4e858e9d065a
0c5597e5a458cd8c15a0bb6bf8a950db
82075123cbae9b7a35a01f17357e4e71
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio institucional Séneca
repository.mail.fl_str_mv adminrepositorio@uniandes.edu.co
_version_ 1812133911016243200