McCarthy, John

Artificial intelligence and mathematical theory of computation