m
     
Congrès

H 0 Constructive mathematics :
proceedings of the new mexico state university conference held at las cruces#Aug. 11-15

Richman, F. (Editeur)

Springer-Verlag

1981

347 p.

978-3-540-10850-4

00013686

03-XX ; 03F50 ; 03F55 ; 03F65 ; 03Fxx

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00013686

[disponible]
Z