m
     
Congrès

H 0 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)

Springer-Verlag

1984

475 p.

978-0-387-13901-2

00007618

03Dxx ; 03Fxx ; 68CXX

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


Exemplaires

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

[disponible]
Z