Studies in Logic and Probability (Dover Books on Mathematics)

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 compilation of his papers features his most mature thinking on Boolean logic and includes previously unpublished material.
Appropriate for upper-level undergraduates and graduate students, the contents range from The Mathematical Analysis of Logic to Boole's final works, including The Laws of Thought, the most systematic statement of his ideas on logic and probability. Boole had intended to create a follow-up volume but did not survive to fulfill his ambition; this volume features his further studies on the subject.