m
     
MathOuvrage

H 0 Applied proof theory

H

Kohlenbach, Ulrich

Springer

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


Exemplaires

Nbre d'exemplaires : 1
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

Z