Français
Computation and proof theory, part II :
proceedings of the logic colloquium held in aachen#July 18-23
Congrès
Borger, E. (Editor) ; Oberschelp, W. (Editor) ; Richter, M. M. (Editor)
1984
475 p.
978-0-387-13901-2
00007618
Publisher City : Berlin ; Heidelberg ; N.Y.
Language : English
EAN13 : 9780387139012
ISBN : 0-387-13901-X
Collation : 24 cm#broch. ; Bibliogr.
Series : Lecture notes in mathematics
Nb in series : 1104
Location : Collection 1er étage
Event Year : 1983
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00007618 | [available] |
