00938oam 2200325zu 450 991048288160332120251111001319.0(CKB)1000000000750968(SSID)ssj0000508742(PQKBManifestationID)12250723(PQKBTitleCode)TC0000508742(PQKBWorkID)10555055(PQKB)10093390(EXLCZ)99100000000075096820160829d1998 uy engtxtccrMetamathematics of First-Order Arithmetic[Place of publication not identified]Springer1998Bibliographic Level Mode of Issuance: Monograph3-540-63648-X Hájek Petr48949Pudlák Pavel1952-PQKBBOOK9910482881603321Metamathematics of first-order arithmetic342148UNINA