CIRM - Videos & books LibraryDocuments : Decidability and generalized quantifiers

G

0

Auteurs : Baudisch, A. (Secondaire) ; Seese, D. (Secondaire) ; Tuschik, H. P. (Secondaire) ; Weese, W. (Secondaire)

Date de parution : 1980

Nbre/N° de page : 235 p.

Cote : 00005708

Codes MSC : 03B30

Ville d'édition : Berlin

Pays d'édition : Allemagne

Langue : Anglais

Collation : Bibliogr. ; xii#24 cm#broch.

Collection : Mathematical research = mathematische forschung

N° de collection : 0003

Localisation : Ouvrage RdC (Deci)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00005708	[disponible]

Books & Print journals

0

Z