Normal view
MARC view
Mathematics(Topical Term)
Machine generated authority record
Work cat.: (OSt)1545042: Goncharov Sergei S Et Al 961107, Mathematical Logic in Asia - Proceedings of the 9Th Asian Logic Conference