TY  - BOOK
AU  - Hajek,Petr
AU  - Pudlak,Pavel
TI  - METAMATHEMATICS OF FIRST-ORDER AIRTHMETIC
SN  - 354063648X
U1  - 510.1 
PY  - 1993///
CY  - 
PB  - Springer-Verlag, Berlin
KW  - Metamathematics
KW  - Airthmetic
ER  -