Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Логический вывод
сборник
Члены редколлегии:
Таванец П.В.
,
Смирнов В.А.
,
Марков А.А.
,
Драгалин А.Г.
,
Войшвилло Е.К.
Год издания:
1979
Место издания:
Наука Москва
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
Страницы:
<< предыдущая
следующая >>
1979
Нормальные формы логических доказательств
Серебрянников Олег Федорович
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 267-273
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
О средствах для обнаружения невыводимости или невыразимости
Кузнецов Александр Владимирович
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 5-33
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Об импликационных исчислениях с одной-единственной переменной
Негру Иван Семенович
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 34-42
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Об одном классе логических понятий
Микеладзе Зураб Николаевич
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 287-299
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Теорема о строго конечных пропозициональных исчислениях
Вуйцицкий Рышард
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 122-127
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Теоремы, выводимые из критерия Мак-Нотона
Токаж М.
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 43-49
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
1979
Формальный вывод, теоремы дедукции и теории импликации
Смирнов Владимир Александрович
в сборнике
Логический вывод
, место издания
Наука Москва
, с. 54-68
редакторы
Войшвилло Евгений Казимирович
,
Драгалин Альберт Григорьевич
,
Марков Андрей Андреевич
,
Смирнов Владимир Александрович
,
Таванец Петр Васильевич
Страницы:
<< предыдущая
следующая >>