CIRM - Videos & books Library - Computation and proof theory, part II :<br>proceedings of the logic colloquium held in aachen#July 18-23

Congrès

Auteurs : Borger, E. (Editeur) ; Oberschelp, W. (Editeur) ; Richter, M. M. (Editeur)

Date de parution : 1984

Nbre/N° de page : 475 p.

ISBN : 978-0-387-13901-2

Cote : 00007618

Codes MSC : 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

Niveau d'autorisation : Public

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00007618	[disponible]