"Pillars of Computer Science" - читать интересную книгу автора (Arnon Avron, Nachum Dershowitz, Alexander Rabinovich)