theory, proof theory, areas of theoretical computer science, artificial intelligence and