CIRM - Videos & books LibraryDocuments : Logic computer science :<BR>lectures given at the first session of the centro internazionale matematico estivo c.i.m.e. held at montecatini terme#June 20-28

G

0

Auteurs : Homer, S. (Editeur) ; Nerode, A. (Editeur) ; Platek, R. A. (Editeur) ; Sacks, G. E. (Editeur) ; Scedrov, A. (Editeur)

Date de parution : 1990

Nbre/N° de page : 162 p.

ISBN : 978-3-540-52734-3

Cote : 00013989

Codes MSC : 03B20 ; 03B40 ; 03B70 ; 03D15

informatique # logique # théorie de la recursion

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540527343

ISBN : 3-540-52734-6

Collation : 25 cm#broch. ; Bibliogr. Pp. 142-150

Collection : Lecture notes in mathematics

N° de collection : 1429

Localisation : Collection 1er étage

Année de la rencontre : 1988

Ville du congrès : Montecatini

Pays du congrès : Italie

Type Congrès : Congrès

Disponibilité : empruntable

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00013989	[disponible]

Books & Print journals

0

Z