unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления

   Запрос: a001="BY-SEK-620081"
   Записи: 1 - 5 из 5 (стр. 1 из 1)

Сортировать по: 
Дата Автор Заглавие
2007 Успенский, Владимир Андреевич (доктор физико-математических наук, математика ; 1930—2018) Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско
2009 Крупский, Владимир Николаевич (кандидат физико-математических наук) Теория алгоритмов : учебное пособие для высших учебных заведений по направлениям "Информатика и вычислительная техника", "Информационные системы и технологии" / В. Н. Крупский, В. Е. Плиско
1973 Плиско, Валерий Егорович Рекурсивная реализуемость и конструктивная логика предикатов : автореф. дис.... канд. физ-мат. наук / [МГУ], Мех.-мат. фак
2002 Успенский, Владимир Андреевич (доктор физико-математических наук, математика ; 1930—2018) Вводный курс математической логики : [Учеб. пособие]
2004 Успенский, Владимир Андреевич (доктор физико-математических наук, математика ; 1930—2018) Вводный курс математической логики / В.А.Успенский, Н.К.Верещагин, В.Е.Плиско
Записей на стр.