H Metamathematics of first-order arithmetic
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
N° | 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