FREE-VARIABLE AXIOMATIC FOUNDATIONS OF INFINITESIMAL ANALYSIS - A FRAGMENT WITH FINITARY CONSISTENCY PROOF
dc.contributor.author | CHUAQUI, R | |
dc.contributor.author | SUPPES, P | |
dc.date.accessioned | 2025-01-21T01:34:55Z | |
dc.date.available | 2025-01-21T01:34:55Z | |
dc.date.issued | 1995 | |
dc.fuente.origen | WOS | |
dc.identifier.issn | 0022-4812 | |
dc.identifier.uri | https://repositorio.uc.cl/handle/11534/97618 | |
dc.identifier.wosid | WOS:A1995QT52100006 | |
dc.issue.numero | 1 | |
dc.language.iso | en | |
dc.pagina.final | 159 | |
dc.pagina.inicio | 122 | |
dc.revista | Journal of symbolic logic | |
dc.rights | acceso restringido | |
dc.title | FREE-VARIABLE AXIOMATIC FOUNDATIONS OF INFINITESIMAL ANALYSIS - A FRAGMENT WITH FINITARY CONSISTENCY PROOF | |
dc.type | artículo | |
dc.volumen | 60 | |
sipa.index | WOS | |
sipa.trazabilidad | WOS;2025-01-12 |