Monographie
Proof theory and intuitionistic
1971
vii, 290 p.
3-540-05541-X
M/A1(212)
démonstration ; intuitionisme ; mathématique constructive
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03F55 ; 03Fxx
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 26 cm
Collection : Lecture notes in mathematics
N° de collection : 0212
Bibliographie : Bibliogr. p. 291
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(212) MAT014077 | [disponible] | YRéserver |