Proceedings of the 11th Asian Logic Conference [electronic resource] : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 / edited by Toshiyasu Arai ... [et al.].

Tipo de material: Texto