Symbolic Logic and Mechanical Theorem Proving, Computer Science Classics