Volver a los detalles del artículo Sobre la capturabilidad de teorías informales en sistemas axiomáticos formales Descargar Descargar PDF