510.1  / H127M <br/>
Hajek,Petr <br/>
       METAMATHEMATICS OF FIRST-ORDER AIRTHMETIC 
 / 
 .-  Springer-Verlag, Berlin,  1993 
 .- xiv,460 . 
<br><u>ISBN:</u> 354063648X 
<br/><u>Subject Headings:</u> <br/>Metamathematics;<br/>Airthmetic;
<br/><U>Author Added Entry: </u><br/>Pudlak,Pavel;
<br><U>Copy Details:</u><br> Acc. No.: <b>A136793</b>, Full Call No.: 510.1 H127M,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>