Normal view
MARC view
Mathematics (Topical Term)
Machine generated authority record
Work cat.: (OSt)1543554: Arai Toshiyasu Et Al 958131, Proceedings of the 11Th Asian Logic Conference: in Honor of Professor Chong Chitat on His 60Th Birthday