Normal view
MARC view
ProQuest (Firm) (Corporate Name)
Machine generated authority record
Work cat.: (OSt)318123: Asian Logic Conference (9th : 2005 : Novosibirsk, Russia) 594345, Mathematical logic in Asia, c2006.