Introduccion a la Logica by L.T.F. Gamut