この資料をSMS送信: Mathematical problems from applied logic II :