Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ПсковГУ
Главная
Поиск
Статистика
О проекте
Помощь
Логический вывод
сборник
Члены редколлегии:
Таванец П.В.
,
Смирнов В.А.
,
Марков А.А.
,
Драгалин А.Г.
,
Войшвилло Е.К.
Год издания:
1979
Место издания:
Наука Москва
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
Страницы: << предыдущая
следующая >>
1979
S-алгебры для n-значных пропозициональных исчислений Лукасевича
Малиновский Г.
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 50-53
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Алгебраические модели интуиционистских теорий
Драгалин Альберт Григорьевич
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 206-245
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Временная логика фон Вригта
Сегерберг Кристер
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 173-205
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Дедуктивные системы с утончениями
Маслов Сергей Юрьевич
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 128-146
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
К теории модальных и суперинтуиционистских систем
Эсакиа Лео Леонидович
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 147-172
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
К формализации полисиллогистики
Закревский Аркадий Дмитриевич
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 300-309
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Натуральные варианты некоторых систем релевантной логики (К проблеме экспликации понятий логического следования и условной связи)
Войшвилло Евгений Казимирович
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 69-117
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Некоторые валидные расширения релевантных систем
Сидоренко Евгений Александрович
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 118-121
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Некоторые замечания о монадических языках высших ступеней
Киселев А.А.,
Когаловский Сергей Рувимович
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 274-286
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Нормализация натуральных выводов и эффективность классического существования
Минц Григорий Ефроимович
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 246-266
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
Страницы: << предыдущая
следующая >>