TY  - BOOK
AU  - Allen, Layman E.
AU  - ill.
TI  - The game of modern logic
AV  - QA9.A44 
CY  - New Haven
KW  - WFF'N Proof (Game)
ER  -