Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ФНКЦ РР
Главная
Поиск
Статистика
О проекте
Помощь
Shanin 100
Конференция
Член программного комитета:
Беклемишев Л.Д.
Охват:
Международная
Даты проведения:
23-26 мая 2019
Место проведения:
Санкт-Петербург, Russia
Организатор:
ПОМИ РАН
Число участников:
50
Число иностранных участников:
10
Веб-сайт:
http://www.pdmi.ras.ru/EIMI/2019/dlc/index.html
Добавил в систему:
Беклемишев Лев Дмитриевич
Доклады:
2019
Iterated truth definitions based on Tarskian biconditionals
(Приглашенный)
Автор:
Beklemishev L.