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