שליחה במסרון: Introductory logic and sets for computer scientists