Toledo, Sue <br/><br/>
Tableau systems for first order number theory and certain higher order theories   

 - Berlin  Springer-Verlag  1975 
 - 339p. 
 - Lecture notes in Mathematics   447 .
<br/><br/>  
<br/><br/><label>Dewey Class. No.: </label>512.7  / T649.TS