Proceedings of the 11Th Asian Logic Conference: in Honor of Professor Chong Chitat on His 60Th Birthday - Arai Toshiyasu Et Al (World Scientific, 2011)
Keywords: Mathematics