Introduction to mathematics of satisfiability /

Bibliographic Details

Main Author:	Marek, Wiktor
Format:	Book
Language:	English
Published:	Boca Raton : CRC Press, [2009]
Series:	Chapman & Hall/CRC studies in informatics series.
Subjects:	Propositional calculus. Logic, Symbolic and mathematical.