Formal logic - Mourant, John A. (1963)