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

Книга
С14 К-493

Клини, Стивн Коул.
Введение в метаматематику / Стивн Коул Клини ; Пер. с англ.: А.С.Есенин-Вольпин ; Ред. пер.: В.А.Успенский. – 2-е изд. испр. – М. : URSS, 2009. – 523 с. : ил. – (Физико-математическое наследие: математика (основания математики и логика)). – Библиогр.: с. 493-509. – ISBN 978-5-397-00105-2.

С14


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