Raul gutierrez saenz introduccion a la logica