Logic and Proof - Bittnger, Marvin L (Addison-weslen publishing company, 1970)