Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ЦЭМИ РАН
Главная
Поиск
Статистика
О проекте
Помощь
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
сборник
Члены редколлегии:
Григорьев О.М.
,
Маркин В.И.
,
Карпенко А.С.
,
Зайцев Д.В.
Год издания:
2013
Серия:
Смирновские чтения по логике
Место издания:
Современные тетради Москва
Сборник тезисов
Добавил в систему:
Маркин Владимир Ильич
Статьи, опубликованные в сборнике
Страницы:
<< предыдущая
следующая >>
2013
Понятие арифметической реализуемости
Коновалов А.Ю.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
Секвенциальная аксиоматизация логики I<alpha,beta>
Попов В.М.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 27-29
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
Семантика единичных суждений Н.А. Васильева и проблема интерпретации воображаемой логики
Маркин В.И.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 64-66
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
Тезис Сушко и его функциональное опровержение
Карпенко А.С.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 15-17
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
Типы идеальных объектов и логика. Кантианские мотивы программы Гильберта
Смирнова Е.Д.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 76-78
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
Страницы:
<< предыдущая
следующая >>