Formal logic a model of English - Rubin, Ronald; Young, Charles M. (Mayfield, 1989)