この資料をSMS送信: Logic: from foundations to applications: