Allen, Layman E. The game of modern logic - New Haven WFF 1962 - viii,223p. 20cm. Subjects--Topical Terms: WFF'N Proof (Game) LC Class. No.: QA9.A44