m
MathOuvrage

H 0 Subsystems of second order arithmetic

Simpson, Stephen G.

Springer

1999

xiv, 444 p. ; 25 cm

9783540648826

39789

théorie des modèles ; logique ; système formel


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 39789 1020216 GALERIE

ISBN10 : 3-540-64882-8

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. 413-424

Class. Math. 1991 : 03B30 ; 03C62 ; 03F35

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

Z