An Introduction to Mathematical Logic

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.

# Advanced Topology and Set Theory # Mathematics # Logic, Reasoning, and Knowledge # Computer Science # Computability, Logic, AI Algorithms

Elliott Mendelson (2005). "An Introduction to Mathematical Logic". A K Peters/CRC Press eBooks. https://doi.org/10.1201/b13782-17