Title: A Modern Introduction to Logic