Logic Works_ A Rigorous Introduction to Formal Logic