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

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne RDA

Language : English

EAN13 : 9783540074199

ISBN : 3-540-07419-8

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

Series : Lecture notes in mathematics

Nb in series : 0492

Location : Collection 1er étage

Notes : 4 volumes reliés ensemble L20537 à L20540

Book type : Anonyme

Availability : empruntable

Level of authorization : Public

Copies