Symbolic Logic and the Game of Logic - [Mathematical Recreations, Vol. I]. Dover. 1958.