この資料をSMS送信: Theory of recursive functions and effective computability.