Simpson, Stephen G. <br/><br/>
Subsystems of second order arithmetic  
Stephen G. Simpson. 
 - 2nd ed. 
 - Cambridge ;  New York   Cambridge University Press  2009. 
 - xvi, 444 p.   ill.   25 cm 
 - Perspectives in logic .
 - Perspectives in logic .
<br/><br/> Antetutlu: "Association for Symbolic Logic."<br/>Bibliografie 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>9780521884396 (hardback) 
<br/><br/><label>LCCN: </label>2008052364 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Predicate calculus
<br/><br/><label>LC Class. No.: </label>QA9.7 
<br/><br/><label>Dewey Class. No.: </label>511.3