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