Title: Handbook of Logic and Proof Techniques for Computer Science
Subjects: Logic design, Mathematics, Symbolic and mathematical Logic, Computer science