Hartley Rogers

1926

• Theory of recursive functions and effective computability