"COLOG-88, International Conference on Computer Logic, Tallinn 1988" - читать интересную книгу автора