Normal view
MARC view
Mathematics (Topical Term)
Machine generated authority record
Work cat.: (OSt)1547334: Chong Chi Tat Et Al 965691, Proceedings of the Sixth Asian Logic Conference