Volver a los detalles del artículo Algorithmic representation of wermus' constructions of ordinal numbers Descargar Descargar PDF