El presente material fue elaborado originalmente para usarse como texto en el curso con el mismo t´?tulo impartido por el autor en el verano de 2011, a una audiencia compuesta es su mayor´?a de profesores de bachilerato. Tanto el curso como el presente material se proponen proporcionar una introducci´on algebraica a la L´ogica y una revisi´on, con un m´?nimo de formalidad de la Teor´?a Cantoriana de los conjuntos.
El texo se divide en dos partes, que se constituyen, respectivamente, de los cap´?tulos 1 al 4 y del 5 al 9, y que son relativamente independientes. Una de las obligaciones de la comunidad matem´atica es la elaboraci´on de una teor´?a en la que el concepto de infinito tenga un lugar natural. El infinito es un objeto de propiedad casi exclusiva de las matem´aticas, por lo que resultar´?a negligente ignorar la monumental aportaci´on de Cantor al esclarecimiento de su naturaleza, por lo que nos proponemos, a trav´es de este texto, ponerla al alcance de los lectores.
El autor agradece al ´arbitro, sin cuya intervenci´on muchos errores habr´?an permanecido en el texto. Aquellos que a´un se encuentran en las p´aginas que siguen son, no obstante, responsabilidad ´unica y exclusiva del autor.