Layman E. Allen

• Computing power and legal reasoning
• The Game of Modern Logic - Wff'n Proof
• Automatic retrieval of legal literature
• Equations
• On-set
• On-sets
• The meditation game
• WFF 'N PROOF