Logic for applications
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
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : États-Unis
Langue : Anglais
N° édition : 2nd ed.
EAN13 : 9780387948935
ISBN : 0-387-94893-7
Collation : Bibliogr ; ill.#appendix#24 cm#rel. ; Index
Collection : Graduate texts in computer science
Localisation : Ouvrage RdC (NERO)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00021456 | [disponible] |