| Record ID | ia:metamathematicso0000haje |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/metamathematicso0000haje/metamathematicso0000haje_marc.xml |
| Download MARC binary | https://www.archive.org/download/metamathematicso0000haje/metamathematicso0000haje_meta.mrc |
LEADER: 01480nam 2200445Mc 4500
001 ocn845039551
003 OCoLC
005 20130719165437.0
008 980307s1998 xx 000 0 ger d
040 $aGBVCP$bger$erakwb$cGBVCP
015 $a98A210778$2dnb
015 $a98N110350$2dnb
016 7 $a952945444$2de-101
020 $a354063648X (brosch.)
020 $a9783540636489 (brosch.)
022 $a0172-6641
035 $a(OCoLC)845039551
084 $a*03F30$2msc
084 $a03-02$2msc
084 $a03D15$2msc
084 $a17,1$2ssgn
084 $a27$2sdnb
084 $a31.02$2bcl
084 $a31.10$2bcl
084 $a31.14$2bcl
100 1 $aHa jek, Petr
245 10 $aMetamathematics of first-order arithmetic$cPetr Ha jek; Pavel Pudla k$n[...]$pXD-US
250 $a2nd printing
260 3 $aBerlin [u.a.]$bSpringer$c1998
300 $aXIV, 460 S
490 0 $aPerspectives in mathematical logic
500 $aLiteraturverz. S. [409] - 453
653 0 $0(DE-601)10423704X$0(DE-588)4290970-3$aPeano-Arithmetik
653 0 $0(DE-601)106088467$0(DE-588)4074759-1$aMetamathematik
700 1 $aPudla k, Pavel$eAuthor$4aut
856 42 $yInhaltsverzeichnis$uhttp://www.gbv.de/dms/goettingen/240997352.pdf$3Inhaltsverzeichnis
856 42 $yZentralblatt MATH$uhttp://www.zentralblattmath.org/zmath/en/search/?an=0889.03053$3Inhaltstext
029 0 $aGBVCP$b240997352
994 $aZ0$bPMR
948 $hNO HOLDINGS IN PMR - 6 OTHER HOLDINGS