Symbolic Logic and The game of logic - Carroll, Lewis 1832-1898 (1958)