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 -