К проблеме табличности фрагментов логики Int<w,w>доклад на конференции