この資料をSMS送信: Conference in Mathematical logic, London 70