Вид документа : Многотомное издание Шифр издания : 574743 51.013/В31 Автор(ы) : Верещагин, Николай Константинович Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 2: Языки и исчисления Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 2000 Колич.характеристики :286, [2] с Примечания : Авт. и загл. указаны на тит. л. ISBN, Цена 5-900916-66-9: 40.00 р. УДК : 510.6(075) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--исчисления высказываний--исчисления предикатов--языки первого порядка Экземпляры :ОХФ(1) Свободны : ОХФ(1) Доп. точки доступа: Шень, А.