George Boole: 4 books

Before 1854 when George Boole published The Laws of Thought, the subject of 'logic' in the western world was entirely restricted to the study of the Aristotelian syllogism, which was as old as 384-322 BC. In this work, Boole introduces a sort of algebra of propositions with probability. Boole's logic...

From one of the founders of symbolic logic comes this collection of writings on logical subjects and related questions of probability. George Boole invented Boolean logic, the basis of modern digital computer logic, for which he is regarded as a founder of the field of computer science. This authoritative...

A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.

Written by a great English mathematician, this classic text begins with the differences of elementary functions and explores interpolation, mechanical quadrature, finite integration, and the summation of series. Several useful tests for the convergence and divergence of series are developed, as is a...