"Logic, language, information and computation 16th international workshop; proceedings WoLLIC <16. 2009. Tokyo>" - читать интересную книгу автора (Nai-Phuan Ong, Ravin Bhatt)