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

Titre(s) : Handbook of logic in computer science. Background. Vol. 1, Mathematical structures [Texte imprimé] / ed. 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, 1992

Description matérielle : 1 vol. (XII-827 p.) ; 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 113 (23e éd.) = Informatique - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-19-853735-2

Identifiant de la notice  : ark:/12148/cb37435267p

Notice n° :  FRBNF37435267