| LDR | 00929nam a22002898a 4500 | ||
| 001 | 002613838 | ||
| 003 | MiAaHDL | ||
| 005 | 20101215000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 920602s1993 gw b 001 0 eng | ||
| 010 | ⊔ | ⊔ | ‡a92021885 |
| 020 | ⊔ | ⊔ | ‡a0387506322 |
| 020 | ⊔ | ⊔ | ‡a3540506322 : |
| 035 | ⊔ | ⊔ | ‡asdr-ucsd.b32294402 |
| 035 | ⊔ | ⊔ | ‡asdr-miu.990026138380106381 |
| 040 | ⊔ | ⊔ | ‡aDLC ‡cDLC |
| 050 | 0 | 0 | ‡aQA248 ‡b.H23 1993 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)26095691 |
| 100 | 1 | ⊔ | ‡aHájek, Petr |
| 245 | 1 | 0 | ‡aMetamathematics of first-order arithmetic / ‡cPetr Hájek, Pavel Pudlák |
| 260 | ⊔ | ⊔ | ‡aBerlin ; ‡aNew York : ‡bSpringer-Verlag, ‡c1993 |
| 263 | ⊔ | ⊔ | ‡a9206 |
| 300 | ⊔ | ⊔ | ‡a460 p. ; ‡c24 cm |
| 490 | ⊔ | 0 | ‡aPerspectives in mathematical logic |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aArithmetic ‡xFoundations |
| 700 | 1 | 0 | ‡aPudlák, Pavel, ‡d1952- |
| CID | ⊔ | ⊔ | ‡a002613838 |
| DAT | 0 | ⊔ | ‡b20101215000000.0 |
| DAT | 1 | ⊔ | ‡a20120815102339.0 ‡b2023-06-10T17:46:43Z |
| DAT | 2 | ⊔ | ‡a2023-06-10T17:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-UCSD ‡dIII - MILLENIUM ‡lloader.pl-001-001 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-ucsd.b32294402 ‡auc1 ‡bSDR ‡cUCSD ‡puc1.31822015620958 ‡sUC ‡1.b32294402 |
| 974 | ⊔ | ⊔ | ‡bUC ‡cUCSD ‡d20230610 ‡sgoogle ‡uuc1.31822015620958 ‡y1993 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929 |
| 974 | ⊔ | ⊔ | ‡bMIU ‡cMIU ‡d20231108 ‡sgoogle ‡umdp.39015029259515 ‡y1993 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929 |