この資料をSMS送信: Logic and discrete mathematics: A computer science perspective