Normal view
MARC view
Logic, Symbolic and mathematical Congresses (Topical Term)
Machine generated authority record
Work cat.: (OSt)318723: Asian Logic Conference (10th : 2008 : Kobe Daigaku) 597645, Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008, c2010.