The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreation Logic puzzles were first introduced to the public by Lewis

The scope and method of logic as we know it today eminently reflect the ground-breaking developments of set theory and the logical foundations of mathematics at