Describir: Artificial intelligence and mathematical theory of computation :