Всесозная конференция "Применение методов математической логики"