Prolegomena to formal logic - Slater, B. H. (Avebury, 1988)