"Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht " - читать интересную книгу автора (Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa)