Proceedings of the 10Th Asian Logic Conference - Arai T Et Al (World Scientific, 2009)
Keywords: Mathematics