SYMBOLIC LOGIC AND THE GAME OF LOGIC - Carroll, Lewis (1958)