Computation and proof theory, part II :
proceedings of the logic colloquium held in aachen#July 18-23
Borger, E. (Editeur) ; Oberschelp, W. (Editeur) ; Richter, M. M. (Editeur)
1984
475 p.
978-0-387-13901-2
00007618
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Langue : Anglais
EAN13 : 9780387139012
ISBN : 0-387-13901-X
Collation : 24 cm#broch. ; Bibliogr.
Collection : Lecture notes in mathematics
N° de collection : 1104
Localisation : Collection 1er étage
Année de la rencontre : 1983
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00007618 | [disponible] |