WFF'N PROOF: THE GAME OF MODERN LOGIC - Allen, Layman E. (1970)