Skip to content 
QR code of document
510.6(075.8)
М 876
Мощенский, Владимир Андреевич.
Лекции по математической логике : учебное пособие для математических специальностей вузов / В. А. Мощенский. - Минск : Изд-во Белорусского университета, 1973. - 159 c. - Библиогр. : с. 154.
| УДК | 510.6(075.8) |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
машины Тьюринга -- исчисление высказываний -- вычислимые функции -- исчисление предикатов -- булевы функции -- логика высказываний -- алгоритмы -- нормальные алгорифмы
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)