m
MathOuvrage

H 0 Metamathematics of first-order arithmetic

H

Hajek, Petr ; Pudlák, Pavel

Springer

1998

xiv, 460 p. ; 25 cm

41643

arithmétique de Peano ; métamathématique ; axiomatique des entiers ; fonction récursive

https://projecteuclid.org/ebooks/perspectives-in-logic/volumes


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 41643 1029801 GALERIE

ISBN10 : 3-540-63648-X

Type de doc : M

Ville d'édition : Berlin ; Heidelberg ; New York NY

Pays d'édition : de

Langue ouvrage : eng

Collection : Perspectives in mathematical logic

ISSN Collection : 0172-6641

Bibliographie : Bibliogr. p. 410-453

Class. Math. 2000 : 03-02 ; 03B10 ; 03B30 ; 03C62 ; 03D15 ; 03F30

Lien SUDOC : https://www.sudoc.fr/161758487

Z