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

Publisher City : Berlin ; Heidelberg

Publisher country : Allemagne RDA

Language : English

EAN13 : 9783540570738

ISBN : 3-540-57073-X

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

Series : Perspectives in mathematical logic

Location : Ouvrage RdC (BORG)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies