Modern mathematical logic would not exist without the analytical tools first developed by George Boole in The Mathematical Analysis...