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

Книга
С14 Г-935

Гудстейн, Рейбен Луис.
Математическая логика / Рейбен Луис Гудстейн ; Пер. с англ.: В.С.Чернявский ; Ред., предисл.: С.А.Яновская. – Изд. 2-е. – M. : URSS, 2010. – 161 с. – (Физико-математическое наследие: математика (основания математики и логика)). – URL: http://edurss.ru/cgi-bin/db.pl?lang=Ru&blang=ru&page=Book&id=84817. – Прим. и библиогр.: с.142-148. – Пер. изд.: Mathematical Logic / Goodstein R.L. - S.l., cop.2009. – ISBN 978-5-397-00528-9.

С14


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