Introduccion a la logica por raul gutierrez saenz