H Mathematical intuitionism
1988
ix, 228
26054
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 26054 | 1008850 | GALERIE |
Sous-titre : introduction to proof theory
ISBN10 : 0-8218-4520-9
Type de doc : M
Ville d'édition : Providence RI
Langue ouvrage : eng
Collection : Translations of mathematical monographs
N° dans la collection : 067
ISSN Collection : 0065-9282
Class. Math. 1991 : 03F55
Lien SUDOC : https://www.sudoc.fr/020521898