Formal Logic

Or, The Calculus of Inference, Necessary and Probable

af Augustus De Morgan

One of the ablest British mathematicians of his age, Augustus De Morgan (1806-71) played an important role in overturning assumptions concerning the rules of logic and inference with the publication of this book in 1847. It treats logic as a branch of mathematics, more specifically as algebra.