Vol. 447. Toledo, Sue Ann 
Tableau systems for first order number theory and certain higher order theories 
QA9.54 T65