George Boole's classic treatise on logic. Renowned for his work in mathematics and logic, Boole developed Boolean algebra and Boolean logic, which has served as a foundation for the information age and computer science.