Symbolic Logic and the Game of Logic - Carroll, Lewis (Dover, 1958)