Introduction to Formal Logic [interface]