Metamathematics of first-order arithmetic

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 :
Arithmétique > Fondements
Métamathématique

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 03C07 Prêt sans prolongation Disponible