Переводчик Джон Пэйн вряд ли был знаком с работами математика Джорджа Буля, но, по интересному совпадению, перевод одного произведения на английский язык вылился у него ровно в девять томов. Назовите упомянутое произведение.