Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Исследования по формализованным языкам и неклассическим логикам
сборник
Член редколлегии:
Бочвар Д.А.
Год издания:
1974
Издательство:
ФГБУ "Издательство "Наука"
Местоположение издательства:
Москва
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
Страницы: << предыдущая
следующая >>
1974
Генценовские системы постулатов для теории множеств
Вайль В.Е.
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 109-130
редактор
Бочвар Дмитрий Анатольевич
1974
К интерпретации антиномий, в построении которых применяется аксиома экстенсиональности или аксиома объемности
Бочвар Дмитрий Анатольевич
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 96-102
редактор
Бочвар Дмитрий Анатольевич
1974
Конструктивные модели теорий интуиционистских последовательностей выбора
Драгалин Альберт Григорьевич
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 214-252
редактор
Бочвар Дмитрий Анатольевич
1974
Модальные расширения логических исчислений типа Хао Вана
Ермолаева Надежда Митрофановна
,
Мучник Альберт Абрамович
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 172-193
редактор
Бочвар Дмитрий Анатольевич
1974
Наследственность свойств отношений
Шрейдер Юлий Анатольевич
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 88-95
редактор
Бочвар Дмитрий Анатольевич
1974
О булевых операциях над расселовыми ядрами
Бочвар Дмитрий Анатольевич
,
Фуксон В.И.
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 131-134
редактор
Бочвар Дмитрий Анатольевич
1974
О категориях эффективно топологических пространств
Вайнберг Юрий Рувимович
,
Ногина Елена Юрьевна
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 253-273
редактор
Бочвар Дмитрий Анатольевич
1974
О квазилогических функциях
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 200-213
редактор
Бочвар Дмитрий Анатольевич
1974
О критерии функциональной полноте для B3
Финн Виктор Константинович
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 194-199
редактор
Бочвар Дмитрий Анатольевич
1974
О некоторых свойствах условных грамматик с рассеянным контекстом
Стоцкий Эдуард Данилович
в сборнике
Исследования по формализованным языкам и неклассическим логикам
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, с. 7-22
редактор
Бочвар Дмитрий Анатольевич
Страницы: << предыдущая
следующая >>