Estudios: INTRODUCCIÓN A LA FORMALIZACIÓN ESPACIAL