Symbolic logic - Venn, John (Franklin, 1971)