TY - BOOK AU - Venn John TI - Symbolic Logic U1 - 164 PY - 1894/// CY - London PB - Macmillan KW - mathematical Logic KW - Symbolic ER -