この資料をSMS送信: New Methods in symbolic logic/