"Proceedings of the 7th and 8th Asian Logic Conferences" - читать интересную книгу автора (Rod Downey, Rod Downey, Qiu Yu Hui, Tung Shih Ping, Ding Decheng, Mariko Yasugi)