Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday - Andreas Blass, Nachum Dershowitz, Wolfgang Reisig ((Lecture Notes in Computer Science))