Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Hájek, Petr (1940-2016)  Voir les notices liées en tant qu'auteur
Pudlák, Pavel (1952-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Metamathematics of first-order arithmetic [Texte imprimé] / Petr Hájek, Pavel Pudlák

Publication : Berlin ; New York ; Paris [etc.] : Springer, cop. 1993

Description matérielle : XIV-460 p. ; 24 cm

Collection : Perspectives in mathematical logic

Lien à la collection : Perspectives in mathematical logic  Voir toutes les notices liées

Note(s) : Bibliogr. p. 409-453. Index

Sujet(s) : Arithmétique -- Fondements  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511 (23e éd.) = Principes généraux des mathématiques  Voir les notices liées en tant que sujet ; 513 (23e éd.) = Arithmétique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-50632-2 (Berlin). - ISBN 0-387-50632-2 (New York) (rel.)

Identifiant de la notice  : ark:/12148/cb37383250b

Notice n° :  FRBNF37383250