He was the first to develop formal logic which is a foundation of computer science.