Français
Constructive mathematics :
proceedings of the new mexico state university conference held at las cruces#Aug. 11-15
Congrès
fondement de la logique mathématique # logique mathématique # mathématiques constructives # théorie de la preuve
Publisher City : Berlin ; Heidelberg ; N.Y.
Language : English
EAN13 : 9783540108504
ISBN : 3-540-10850-5
Collation : 25 cm#broch. ; Bibliogr.
Series : Lecture notes in mathematics
Nb in series : 0873
Location : Collection 1er étage
Event Year : 1980
City of congres : New Mexico
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00013686 | [available] |
