9th Asian Logic Conference (9-я Азиатская Логическая Конференция) - международная