أرسل هذا في رسالة قصيرة: Theory of recursive functions and effective computability.