Title: Introductory Logic and Sets for Computer Scientists