You are about to access our book library "Models, Algebras, and Proofs: selected papers of the X Latin American symposium on mathematical logic held in Bogotá (Lecture Notes in Pure and Applied Mathematics) full version" .