Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods by Dov. M. Gabbay | Menrva Books | MenrvaBooks