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

 - Berlin  Springer-verlag  1975 
 - 339 p. 
<br/><br/><label>Dewey Class. No.: </label>510 L496T:T