Нижние оценки арифметической сложности предикатных логик доказуемости и их фрагментов
Язык: русский.Выходные данные: М. : ВИНИТИ, 1985Физическая характеристика: 24 с. ; 21 см.Серия: Препринт Библиография: Библиогр.: с. 24. Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 87-6/749 (Просмотр полки(Открывается ниже)) | Доступно | 5944191-10 |
Библиогр.: с. 24