Metamathematics of first-order arithmetic

Metamathematics of first-order arithmetic

Saved in:
Bibliographic Details
Main Authors : Hájek Petr (Auteur), Pudlák Pavel (Auteur)
Format : Book
Language : anglais
Title statement : Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
Published : Berlin, Paris [etc.] : Springer-Verlag , 1993
Physical Description : 1 vol. (XIV-460 p.)
Series : Perspectives in mathematical logic
Subjects :
Arithmétique > Fondements
Métamathématique

Bib. CRDM (Mathématiques)

Holdings details from Bib. CRDM (Mathématiques)
Location Call Number Loan type Status
Bibliothèque 03C07 Prêt sans prolongation Available