LEADER 00938oam  2200325zu 450 
001 9910482881603321
005 20251111001319.0
035   $a(CKB)1000000000750968
035   $a(SSID)ssj0000508742
035   $a(PQKBManifestationID)12250723
035   $a(PQKBTitleCode)TC0000508742
035   $a(PQKBWorkID)10555055
035   $a(PQKB)10093390
035   $a(EXLCZ)991000000000750968
100   $a20160829d1998      uy 
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aMetamathematics of First-Order Arithmetic
210 31$a[Place of publication not identified]$cSpringer$d1998
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-63648-X 
700   $aHa?jek$b Petr$048949
702   $aPudla?k$b Pavel$f1952-
801  0$bPQKB
906   $aBOOK
912   $a9910482881603321
996   $aMetamathematics of first-order arithmetic$9342148
997   $aUNINA