Symbolic logic - Venn, John (Macmillan & Co., 1881)