Simpson, Stephen George,  1945-, <br/><br/>
Subsystems of second order arithmetic / 
Stephen G. Simpson 
 - xiv, 444 páginas ; 
 - Perspectives in mathematical logic,  0172-6641 .
<br/><br/>Incluye referencias bibliograficas (p. [413]-424) e indice 
<br/><br/><label>ISBN: </label>3540648828 (encuadernado en tela : papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Cálculo de predicados
<br/><br/><label>LC Class. No.: </label>QA9.7  / S55 
<br/><br/><label>Dewey Class. No.: </label>511.3