Understanding symbolic logic - Massey, Gerald J. (Harper & Row, 1970)