Vol. 447. Toledo, Sue Ann 
Tableau Systems for First Order Number Theory and Certain Higher Order Theories 
QA9.54 T65