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
Description
Historique des publications : Autre tirage: 1998
Bibliographie : Bibliogr.p. [409]-453. Index
ISBN : 3-540-50632-2
0-387-50632-2
3-540-63648-X