Logic: a first course - Blumberg, E. Albert (Alfred A. Knopf, 1976)