Enviar aquest missatge de text: Theory of recursive functions and effective computability.