Metamathematics of first-order arithmetic

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Hájek Petr (Auteur), Pudlák Pavel (Auteur)
Format : Livre
Langue : anglais
Titre complet : Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
Publié : Berlin, Paris [etc.] : Springer-Verlag , 1993
Description matérielle : 1 vol. (XIV-460 p.)
Collection : Perspectives in mathematical logic
Sujets :
LEADER 02012cam a2200625 4500
001 PPN014355108
003 http://www.sudoc.fr/014355108
005 20211105113400.0
010 |a 3-540-50632-2  |b Berlin  |b rel. 
010 |a 0-387-50632-2  |b New York 
010 |a 3-540-63648-X  |b br. 
020 |a US  |b 9221885 
035 |a 161758487  |9 sudoc 
035 |a (OCoLC)26095691 
035 |a ocm26095691 
073 1 |a 9783540636489 
100 |a 19920602h19931993k y0frey0103 ba 
101 0 |a eng 
102 |a DE  |a FR  |a ZZ 
105 |a y a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a Metamathematics of first-order arithmetic  |f Petr Hájek, Pavel Pudlák 
210 |a Berlin  |a Paris [etc.]  |c Springer-Verlag  |d 1993 
215 |a 1 vol. (XIV-460 p.)  |d 25 cm 
225 2 |a Perspectives in mathematical logic 
305 |a Autre tirage: 1998 
320 |a Bibliogr.p. [409]-453. Index 
410 | |0 07051612X  |t Perspectives in mathematical logic  |x 0172-6641 
606 |3 PPN02766046X  |a Arithmétique  |x Fondements  |2 rameau 
606 |3 PPN027702812  |a Métamathématique  |2 rameau 
676 |a 513/.01  |v 20 
680 |a QA248  |b .H23 1993 
686 |a G.1  |2 acm 
686 |a 03D15  |c 2010  |2 msc 
686 |a 03F30  |c 2010  |2 msc 
686 |a 03H15  |c 2010  |2 msc 
686 |a 11U09  |c 2010  |2 msc 
686 |a 11U10  |c 2010  |2 msc 
686 |a 68Q15  |c 2010  |2 msc 
700 1 |3 PPN057090432  |a Hájek  |b Petr  |f 1940-....  |4 070 
701 1 |3 PPN081912862  |a Pudlák  |b Pavel  |f 1952-....  |4 070 
801 3 |a FR  |b Abes  |c 20170627  |g AFNOR  |h 161758487 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
915 |5 441092208:639554865  |b 13032 
930 |5 441092208:639554865  |b 441092208  |a 03C07  |j u 
979 |a CCFA 
991 |5 441092208:639554865  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 13032  |d CMB  |e BAP  |s d  |c 03C07 
998 |a 842132