Mathematical recreations I : SYMBOLIC LOGIC AND THE GAME OF LOGIC - Carrol, Lewis (Dover Publications, Inc, 1958)