TY  - GEN
AU  - Hajek, Petr
AU  - Pudlak, Pavel
TI  - Metamatematics of first - order arithmetic
SN  - 354063648x
PY  - 1998///
CY  - Berlin
PB  - Springer
N1  - Contine bibliogr. si index
ER  -