Propositional logic
Subtitle: deduction and algorithms
By: Hans Kleine Büning, Theodor Lettman.
Contributors: Lettman, Theodor.
Series: Cambridge tracts in theoretical computer science -- 48.
Publisher: Cambridge University Press
Published: 1999
Place of publication: Cambridge [England]; New York
Language: eng
Number of pages: 409
Subjects: Computer logic; Computer algorithms
Notes: Includes bibliographical references (p. 385-402) and index.