Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Исследования по формализованным языкам и неклассическим логикам
сборник
Член редколлегии:
Бочвар Д.А.
Год издания:
1974
Издательство:
ФГБУ "Издательство "Наука"
Местоположение издательства:
Москва
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
Страницы:
<< предыдущая
следующая >>
1974
Об аксиоме объемности и парадоксах наивной теории множеств
Вайль В.Е.
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 103-108
редактор
Бочвар Дмитрий Анатольевич
1974
Об одной нестандартной логике и ее применении к теории множеств
Гришин Владимир Николаевич
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 135-171
редактор
Бочвар Дмитрий Анатольевич
1974
Расширенное исчисление рекурсивных функций. I
Шмаин Илья Хананович
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 50-81
редактор
Бочвар Дмитрий Анатольевич
1974
Специализация формы вывода в расширенном исчислении рекурсивных функций
Великанов Кирилл Михайлович
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 82-87
редактор
Бочвар Дмитрий Анатольевич
1974
Схемы для функций и отношений
Борщев Владимир Борисович
,
Хомяков М.В.
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 23-49
редактор
Бочвар Дмитрий Анатольевич
Страницы:
<< предыдущая
следующая >>