Title: Introduction to mathematics of satisfiability
Subjects: Propositional calculus, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Calculus, Calcul propositionnel, Logique symbolique et mathématique, MATHEMATICS, Infinity, Logic