A theory of variable types
| dc.contributor.author | Feferman, Solomon | spa |
| dc.date.accessioned | 2019-06-29T08:04:39Z | spa |
| dc.date.available | 2019-06-29T08:04:39Z | spa |
| dc.date.issued | 1985 | spa |
| dc.description.abstract | Several publications in recent years have presented various formal theories T in which considerable portions of mathematical practice (particularly analysis) can be more or less directly formalized and which are proof-theoretically weak; cf. Feferman 1977, Takeuti 1978 and Friedman 1980. | spa |
| dc.format.mimetype | application/pdf | spa |
| dc.identifier.eprints | http://bdigital.unal.edu.co/42218/ | spa |
| dc.identifier.uri | https://repositorio.unal.edu.co/handle/unal/48761 | |
| dc.language.iso | spa | spa |
| dc.publisher | Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas | spa |
| dc.relation | http://revistas.unal.edu.co/index.php/recolma/article/view/32587 | spa |
| dc.relation.ispartof | Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas | spa |
| dc.relation.ispartof | Revista Colombiana de Matemáticas | spa |
| dc.relation.ispartofseries | Revista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 95-105 2357-4100 0034-7426 | |
| dc.relation.references | Feferman, Solomon (1985) A theory of variable types. Revista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 95-105 2357-4100 0034-7426 . | spa |
| dc.rights | Derechos reservados - Universidad Nacional de Colombia | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.rights.license | Atribución-NoComercial 4.0 Internacional | spa |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ | spa |
| dc.subject.proposal | various formal theories | spa |
| dc.subject.proposal | mathematical practice | spa |
| dc.subject.proposal | particularly analysis | spa |
| dc.title | A theory of variable types | spa |
| dc.type | Artículo de revista | spa |
| dc.type.coar | http://purl.org/coar/resource_type/c_6501 | spa |
| dc.type.coarversion | http://purl.org/coar/version/c_970fb48d4fbd8a85 | spa |
| dc.type.content | Text | spa |
| dc.type.driver | info:eu-repo/semantics/article | spa |
| dc.type.redcol | http://purl.org/redcol/resource_type/ART | spa |
| dc.type.version | info:eu-repo/semantics/publishedVersion | spa |
| oaire.accessrights | http://purl.org/coar/access_right/c_abf2 | spa |
Archivos
Bloque original
1 - 1 de 1
Cargando...
- Nombre:
- 32587-120564-1-PB.pdf
- Tamaño:
- 4.6 MB
- Formato:
- Adobe Portable Document Format