Formal Logic: The Calculus of Inference, Necessary and Probable

One of the key works on the development of logic, de Morgan's work forms the bridge between the researches of Hamilton and Boole. His greatest contribution to scientific knowledge undoubtedly lay in his logical researches; and the subsequent development of symbolic logic, with its powerful influences on both philosophy and technology, owes much to his fundamental work. Augustus de Morgan (1806 - 1871) was awarded the position of first Professor of Mathematics at University College in London in 1828. He founded the London Mathematical Society and was its first president.

• Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)
• An Investigation of the Laws of Thought