Title: Essentials of Logic