Constructive mathematics :
proceedings of the new mexico state university conference held at las cruces#Aug. 11-15
fondement de la logique mathématique # logique mathématique # mathématiques constructives # théorie de la preuve
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Langue : Anglais
EAN13 : 9783540108504
ISBN : 3-540-10850-5
Collation : 25 cm#broch. ; Bibliogr.
Collection : Lecture notes in mathematics
N° de collection : 0873
Localisation : Collection 1er étage
Année de la rencontre : 1980
Ville du congrès : New Mexico
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00013686 | [disponible] |