Symbolic logic and the game of logic - Carroll, Lewis, 1832-1898 (Dover Publications, 1958)