Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science.
В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.