INTRODUCCION A LA LOGICA MATEMATICA (BARCELONA. :REVERTE,S.A., 1973)