Электронный каталог

Книга
С14 У-774

Успенский, Владимир Андреевич.
Вводный курс математической логики / Владимир Андреевич Успенский, Николай Константинович Верещагин, Валерий Егорович Плиско. – М. : Физматлит, 2007. – 126 с. – URL: http://www.fml.ru/books.php?mode=showbook&isbn=5-9221-0278-8&avtor=Успенскийorm=обл.,%20128&standart=48&price1=112,20&fzmk_id=. – Библиогр.:с.122. – ISBN 5-922102-78-8.

С14
510.7


Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = теория множеств
Ключевых слов = логико-математические языки
Ключевых слов = логика предикалов
Ключевых слов = теорема Гёделя
Ключевых слов = теория алгоритмов