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