H Applied proof theory
2008
xix, 532 p. ; 24 cm
9783540775324
45377
théorie de la preuve ; interprétation ; théorie de l'approximation
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1439-7382
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 45377 | 1036604 | GALERIE |
Sous-titre : proof interpretations and their use in mathematics
Type de doc : M
Ville d'édition : Berlin
Pays d'édition : de
Langue ouvrage : eng
Collection : Springer monographs in mathematics
ISSN Collection : 1439-7382
Bibliographie : Bibliogr. p. 507-523
Class. Math. 2000 : 03F03 ; 03F10 ; 03B30 ; 41A10 ; 41A52 ; 47H9 ; 47H10
N° LCCCN : 2008920614
Lien SUDOC : https://www.sudoc.fr/127269045