CIRM - Videos & books Library - Atti degli incontri di logica matematica,vol. 1<br>siena,7-9 gennaio,15-17 aprile,4-6 giugno,1982

Congrès

Auteurs : Bernardi, Claudio (Editeur)

Date de parution : 1983

Cote : 00012907

Codes MSC : 03-06 ; 03Cxx ; 03Dxx ; 03Fxx

algebre universelle # logique # recursivite # theorie de la demonstration

Ville d'édition : Siena

Langue : Italien

Collation : 23 cm ; 398 p. ; Bibliogr. ; broch. ; multigr.

Localisation : Colloque 1er étage (SIEN)

Ville du congrès : Siena

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1	C/SIEN/	00012907	[disponible]