Carol Karp # argument arrière et avant # condition de finitude pour langages infinitaires # logique infinitaire # modèle de chaîne # propriété de consistance pour langages de quantificateurs fi # technique arrière et avant dans les langages à quantificateu

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

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540074199

ISBN : 3-540-07419-8

Collation : 206 p. ; 24 cm ; Bibliogr. ; portr. ; rel.

Collection : Lecture notes in mathematics

N° de collection : 0492

Localisation : Collection 1er étage

Notes : 4 volumes reliés ensemble L20537 à L20540

Type d'ouvrage : Anonyme

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires