S. V. Reeves

• Adding equality to semantic tableaux
• Rearing Pheasants in Small Enclosures