TY  - BOOK
AU  - Petr Hájek
AU  - Pavel Pudlák
TI  - Metamathematics of first-order arithmetic
SN  - 9781107168411 (HB)
U1  - 513.01 HAJ(MET) 
PY  - 2016///
PB  - Cambridge University Press
KW  - Arithmetic – Foundations
KW  - Logic
KW  - Computer science
N1  - inv no.SAR/331/2017; dt.30-08-2017
ER  -