Introduction to mathematics of satisfiability
by V. W. Marek
No description available.
Propositional calculusSymbolic and mathematical LogicLogic, symbolic and mathematicalCalculusCalcul propositionnelLogique symbolique et mathématiqueMATHEMATICSInfinityLogic