"Proceedings of the 7th & 8th Asian Logic Conferences: Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002" - читать интересную книгу автора (Rod Downey, Rod Downey, Qiu Yu Hui, Tung Shih Ping, Ding Decheng, Mariko Yasugi)