Monographie
Metamathematical investigation of intuitionistic arithmetic and analysis
1973
xvii, 485 p.
3-540-06491-5
M/A1(344)
intuitionisme ; logique ; métamathématique
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03-02 ; 03F55
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 25 cm
Collection : Lecture notes in mathematics
N° de collection : 0344
Bibliographie : Bibliogr. p. 462-475/index
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(344) MAT014240 | [disponible] | YRéserver |