Toledo, Sue <br/><br/>
Tableau Systems for First Order Number Theory and Certain Higher Theories 
Sue Toledo 
 - Berlin, Heidelberg, New York  Springer Verlag  1975 
 - 337 p  24 cm 
 - Lecture notes in mathematics  447 .
<br/><br/> Contine bibliogr 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>3540071490 
<br/><br/><label>ISSN: </label>0387071490 
<br/><br/><label>Dewey Class. No.: </label>510.8