2014-07-24 Introduction to Automated Theorem Proving with Logtk