Proceedings of the Sixth Asian Logic Conference - Chong Chi Tat Et Al (World Scientific, 1998)
Keywords: Mathematics