Normal view
MARC view
Logic, Symbolic and mathematical Congresses (Topical Term)
Machine generated authority record
Work cat.: (OSt)280848: Asian Logic Conference (11th : 2009 : Singapore) 387807, Proceedings of the 11th Asian Logic Conference, c2012.