Introduction to mathematics of satisfiability /
Marek, Wiktor.
Introduction to mathematics of satisfiability / Victor W. Marek. - Boca Raton : CRC Press, c2009. - xiii, 350 p. : ill. ; - Chapman & Hall/CRC studies in informatics series .
"A Chapman & Hall book."
Includes bibliographical references and index.
9781439801673 (hardcover : alk. paper) 1439801673 (hardcover : alk. paper)
Propositional calculus.
Logic, Symbolic and mathematical.
511.3
Introduction to mathematics of satisfiability / Victor W. Marek. - Boca Raton : CRC Press, c2009. - xiii, 350 p. : ill. ; - Chapman & Hall/CRC studies in informatics series .
"A Chapman & Hall book."
Includes bibliographical references and index.
9781439801673 (hardcover : alk. paper) 1439801673 (hardcover : alk. paper)
Propositional calculus.
Logic, Symbolic and mathematical.
511.3