Symbolic logic - Venn, John (Chelsea Publ. Co., 1971)