Symbolic logic and The game of logic - Carroll, Lewis 1832-1898 (Mathematical recreations / Lewis Carroll, 1958)