Toledo, Sue Ann  (1940- ). <br/><br/>
Tableau systems for first order number theory and certain higher order theories / 
Sue Toledo. 
 - Berlin [etc.] :  Springer-Verlag,  1975. 
 - 339 s. :  24 cm. 
 - Lecture Notes in Mathematics,  447  0075-8434 ; .
 - Lecture Notes in Mathematics  447 .
<br/><br/>Bibliogr. s. 335 - 339. 
<br/><br/>
<br/><br/><label>ISBN: </label>3540071490 0387071490 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoria dowodu.<br/>Rachunek kwantyfikatorów.<br/>Teoria liczb.
<br/><br/><label>Universal Decimal Class. No.: </label>51