Bibliography of mathematical logic. Vol. VI :
proof theory constructive mathematics
Kister, Jane E. (Editeur) ; Muller, Gert H. (Editeur) ; Troelstra, Anne S. (Editeur) ; Van Dalen, Dirk (Secondaire)
1987
450 p.
978-3-540-15524-9
00011835
logique mathématique # mathématique constructive # théorie de la preuve
Responsable Collectivité : Lenski
Ville d'édition : Berlin ; Heidelberg ; Paris
Pays d'édition : France ; Allemagne
Langue : Anglais
EAN13 : 9783540155249
ISBN : 3-540-15524-4
Collation : XLI#27 cm#rel.
Collection : Perspectives in mathematical logic
Localisation : Bibliographie de math. RdC
Type d'ouvrage : Biographie
Disponibilité : empruntable ; Desherbé
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00011835 | D2017 [disponible] |