3 ms·He was the first to develop formal logic which is a foundation of computer science.by joelmichael 3y agoHe was the first to develop formal logic which is a foundation of computer science.