Описание RUSMARC Карточка
Книга

Некоторые сложностные характеристики выводов в исчислениях высказываний

Автор: Попов, Сергей Викторович (канд. физ.-мат. наук, кибернетика ; 1946-) Язык: русский.Выходные данные: Москва : Б. и., 1977Физическая характеристика: 63 с. : ил. ; 21 см.Серия: Ин-т прикл. математики АН СССР. Препринт ; № 116Библиография: Библиогр.: с. 63.Коллекция: Национальная библиография Тип экземпляра: Книга
Параметры
    Средний рейтинг: 0.0 (0 голосов)
Экземпляры
Тип экземпляра Текущая библиотека Шифр хранения Статус Срок возврата Штрих-код
Книга РНБ (Московский) Русский книжный фонд: издания с 1957 года 78-4/1656 (Просмотр полки(Открывается ниже)) Доступно 6583192-10

Библиогр.: с. 63