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