Mathematical intuitionism
introduction to proof theory
logique # logique mathematique # logique symbolique # mathematique intuitive
Ville d'édition : Providence ; R.I.
Langue : Anglais
EAN13 : 9780821845202
ISBN : 0-8218-4520-9
Collation : 228 p. ; 23 cm ; Bibliogr. Pp. 201-216 ; Index ; ix ; rel.
Collection : Translations of mathematical monographs
N° de collection : 0067
Localisation : Collection 1er étage
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00012250 | [disponible] |