"Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday" - читать интересную книгу автора (Arnon Avron, Nachum Dershowitz, Alexander Rabinovich)