TTC - An Introduction to Formal Logic