この資料をSMS送信: The clausal theory of types / D.A. Wolfram.