classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # théorie monadique du second ordre

Ville d'édition : Berlin ; Heidelberg

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540570738

ISBN : 3-540-57073-X

Collation : appendix#24 cm#rel; ; Bibliogr.

Collection : Perspectives in mathematical logic

Localisation : Ouvrage RdC (BORG)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires