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.