E0 205 Mathematical Logic and Theorem Proving