Proceedings Of The 7th And 8th Asian Logic Conferences - Mariko Yasugi-Rodney G Downey-Decheng Ding-Shih Ping Tung-Yu Hui Qiu (World Scientific / S'pore Univ Press (Pte) Ltd, 2003)
Keywords: Logic; Logic, Symbolic and mathematical--Congresses.; MATHEMATICS