|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказыванийстатья
- Автор: Стяжкин Николай Иванович
- Сборник: Логические исследования
- Редакторы: Кольман Эрнест Яромирович, Поваров Гелий Николаевич, Таванец Петр Васильевич, Яновская Софья Александровна
- Год издания: 1959
- Место издания: Изд-во АН СССР Москва
- Первая страница: 33
- Последняя страница: 47
- Добавил в систему: Золин Евгений Евгеньевич