Title: Introductory Logic and Formal Methods