この資料をSMS送信: Logic for mathematicians / A. G. Hamilton.