Introductory Logic and Sets for Computer Scientists (International Computer Science Series)