A Modern Introduction to Logic. Sixth Edition