Pillars of Computer ScienceB. A. Trakhtenbrot, Arnon Avron, Nachum Dershowitz, Alexander Rabinovich₹3,039
