Symbolic Logic - Carroll, Lewis, 1832-1898