Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)