Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ПсковГУ
Главная
Поиск
Статистика
О проекте
Помощь
Вторая Всесоюзная конференция по математической логике. Тезисы докладов
сборник
Год издания:
1972
Серия:
Всесоюзная конференция по математической логике
Место издания:
Москва: Отделение математики АН СССР
Сборник тезисов
Добавил в систему:
Кузичев Александр Сергеевич
Статьи, опубликованные в сборнике
1972
Об иерархии конструктивных функционалов Брауэра
Шанин Н.А.
в сборнике
Вторая Всесоюзная конференция по математической логике. Тезисы докладов
, серия
Всесоюзная конференция по математической логике
, место издания
Москва: Отделение математики АН СССР
, тезисы, с. 52-53
1972
Предикативная и конструктивная истинность в наивном анализе
Непейвода Н.Н.
в сборнике
Вторая Всесоюзная конференция по математической логике. Тезисы докладов
, серия
Всесоюзная конференция по математической логике
, место издания
Москва: Отделение математики АН СССР
, тезисы, с. 35
1972
Принцип дедуктивной полноты в комбинаторной логике
Кузичев А.С.
в сборнике
Вторая Всесоюзная конференция по математической логике. Тезисы докладов
, серия
Всесоюзная конференция по математической логике
, место издания
Москва: Отделение математики АН СССР
, тезисы, с. 24
1972
Разрешимость некоторых суперинтуиционистских исчислений
Кузнецов Александр Владимирович
в сборнике
Вторая Всесоюзная конференция по математической логике. Тезисы докладов
, серия
Всесоюзная конференция по математической логике
, место издания
Москва: Отделение математики АН СССР
, тезисы, с. 25