Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Исследование логических систем
сборник
Член редколлегии:
Таванец П.В.
Год издания:
1970
Место издания:
Наука Москва
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
Страницы: << предыдущая
следующая >>
1970
Комплексная логика
Зиновьев Александр Александрович
в сборнике
Исследование логических систем
, место издания
Наука Москва
, с. 166-203
редактор
Таванец Петр Васильевич
1970
Коннексивная импликация
Ивин Александр Архипович
в сборнике
Исследование логических систем
, место издания
Наука Москва
, с. 142-165
редактор
Таванец Петр Васильевич
1970
Минимальные тавтологии и противоречия в конечно-многозначной логике
Зиновьев Александр Александрович
в сборнике
Исследование логических систем
, место издания
Наука Москва
, с. 262-270
редактор
Таванец Петр Васильевич
1970
О видах логического следования
Смирнов Георгий Александрович
в сборнике
Исследование логических систем
, место издания
Наука Москва
, с. 204-214
редактор
Таванец Петр Васильевич
1970
О выразительных и дедуктивных возможностях логико-арифметических исчислений на базе теории типов
Гастев Юрий Алексеевич
в сборнике
Исследование логических систем
, место издания
Наука Москва
, с. 78-85
редактор
Таванец Петр Васильевич
1970
О некоторых формулировках модальных систем
Ивин Александр Архипович
в сборнике
Исследование логических систем
, место издания
Наука Москва
, с. 137-141
редактор
Таванец Петр Васильевич
1970
О некоторых характеристических истинностных таблицах классической логики и трехзначной логики Я. Лукасевича
Финн Виктор Константинович
в сборнике
Исследование логических систем
, место издания
Наука Москва
, с. 215-261
редактор
Таванец Петр Васильевич
1970
О погружениях классических систем в интуиционистские и минимальные
Шмаин Илья Хананович
в сборнике
Исследование логических систем
, место издания
Наука Москва
, с. 51-67
редактор
Таванец Петр Васильевич
1970
О роли математической строгости в истории творческого развития математики и специально о «Геометрии» Декарта
Яновская Софья Александровна
в сборнике
Исследование логических систем
, место издания
Наука Москва
, с. 13-50
редактор
Таванец Петр Васильевич
1970
Понятие функции-аналога и признак функциональной неполноты системы многозначной логики
Солодухин Юрий Николаевич
в сборнике
Исследование логических систем
, место издания
Наука Москва
, с. 271-281
редактор
Таванец Петр Васильевич
Страницы: << предыдущая
следующая >>