"Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday (Lecture Notes in Computer Science Programming and Software Engineering)" - читать интересную книгу автора (Andreas Blass, Nachum Dershowitz, Wolfgang Reisig)