Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods by T. S. E. Maibaum | Menrva Books | MenrvaBooks