Hajek, Petr <br/><br/>
Metamatematics of first - order arithmetic 
Petr Hajek, Pavel Pudlak 
 - Berlin  Springer  1998 
 - XIV, 453 p  24 cm 
 - Perspectives in mathematical logic .
<br/><br/> Contine bibliogr. si index 
<br/><br/><label>ISBN: </label>354063648x