Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday - Arnon Avron, Nachum Dershowitz, Alexander Rabinovich ((Lecture Notes in Computer Science))