この資料をSMS送信: A first course in formal logic and its applications in computer science /