|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Теорема о строго конечных пропозициональных исчисленияхстатья
- Автор: Вуйцицкий Рышард
- Сборник: Логический вывод
- Редакторы: Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
- Год издания: 1979
- Место издания: Наука Москва
- Первая страница: 122
- Последняя страница: 127
- Аннотация: Ryszard Wójcicki (Poland). Перевод с английского: Шехтман Валентин Борисович
- Добавил в систему: Золин Евгений Евгеньевич