S. A. Toledo

• Tableau Systems for First Order Number Theory and Certain Higher Order Theories