ABSTRACT
Logic, the systematic study of reasoning, is one of the oldest branches of mathematics. For example, the notion of a syllogism was important to the ancient Greeks, and the phrase “Aristotelian logic” is still commonly used. But the flowering of logic in modern mathematics did not begin until the mid-nineteenth century, particularly with the work of George Boole (1815-1864). In the twentieth century, particularly with the growing importance of computers, logic became one of the most important and useful branches of modern mathematics.
