"Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science)" - читать интересную книгу автора (Neil D. Jones, Masami Hagiya, Masahiko Sato)