2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/79114This paper was withdrawn by the author due to an edition's rightsLogicK-Theory and Homologytext