この資料をSMS送信: Introductory logic and sets for computer scientists