Cover Image

Propositional logic : deduction and algorithms /

Bibliographic Details
Main Author: Kleine Büning, H. (Hans)
Other Authors: Lettmann, T. (Theodor)
Format: Book
Language:English
Published: Cambridge, U.K. ; New York : Cambridge University Press, 1999.
Edition:English ed.
Series:Cambridge tracts in theoretical computer science ; 48.
Subjects:
Computer logic.
Computer algorithms.
Description
Item Description:"First published in German by B.G. Teubner in 1994"--Title page verso.
Physical Description:x, 409 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages 385-402) and indexes.
ISBN:0521630177 (hardcover)