Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Titre(s) : Handbook of logic in computer science. Vol. 5, Logic and algebraic methods [Texte imprimé] / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum

Lien au titre d'ensemble : Appartient à : Handbook of logic in computer science  Voir toutes les notices liées

Publication : Oxford : Clarendon press, 2000

Description matérielle : 1 vol. (XVIII-537 p.) : ill. ; 24 cm

Collection : Oxford science publications

Lien à la collection : Oxford science publications  Voir toutes les notices liées

Note(s) : Notes bibliogr.

Autre(s) auteur(s) : Abramsky, Samson (1953-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Gabbay, Dov M.. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Maibaum, Thomas S. E.. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004.015 1 (23e éd.) = Informatique - Principes mathématiques  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-19-853781-6 (rel.)

Identifiant de la notice  : ark:/12148/cb37571843c

Notice n° :  FRBNF37571843