m
     
MathOuvrage

H 0 Mathematical intuitionism

Dragalin, A.G.

American mathematical Society

1988

ix, 228

26054

logique symbolique ; logique mathématique


Exemplaires

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

Z