application # informatique théorique # logique des prédicats # logique intuitive # logique mathématique # logique modale # logique symbolique # prologue # élément de théorie d'ensemble

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : États-Unis

Language : English

Edition nb : 2nd ed.

EAN13 : 9780387948935

ISBN : 0-387-94893-7

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

Series : Graduate texts in computer science

Location : Ouvrage RdC (NERO)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies