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

Auteur(s) : Kleine Büning, Hans (1948-....)  Voir les notices liées en tant qu'auteur
Lettmann, Theodor (1958-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Propositional logic [Texte imprimé] : deduction and algorithms / Hans Kleine Büning, Theodor Lettman

Publication : Cambridge : Camridge university press, 1999

Description matérielle : 1 vol. (X-409 p.) ; 24 cm

Collection : Cambridge tracts in theoretical computer science ; 48

Lien à la collection : Cambridge tracts in theoretical computer science  Voir toutes les notices liées

Note(s) : Bibliogr. p. 385-402

Sujet(s) : 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-521-63017-7 (rel.)

Identifiant de la notice  : ark:/12148/cb37550897n

Notice n° :  FRBNF37550897