|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Теоремы, выводимые из критерия Мак-Нотонастатья
- Автор: Токаж М.
- Сборник: Логический вывод
- Редакторы: Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
- Год издания: 1979
- Место издания: Наука Москва
- Первая страница: 43
- Последняя страница: 49
- Аннотация: Перевод с английского: Шехтман Валентин Борисович
- Добавил в систему: Золин Евгений Евгеньевич