Полное описание

Гудстейн, Рейбен Луис. Математическая логика / Р. Л. Гудстейн; перевод с английского В. С. Чернявского; под редакцией и с предисловием С. А. Яновской. - Москва : Изд-во иностранной литературы, 1961. - 161, [1] с. - (Библиотека сборника "Математика"). - Библиогр.: с. 142-148. - Указ. содерж., терминов , фамилий: с. 155-159. - Указ. обозначений: с. 160-161. - Пер. изд. : Mathematical logik / R. L. Goodstein. - 1957. - Тираж не указ. - Текст : непосредственный.

ГРНТИ	УДК
27.03.19	510

Рубрики:
Математическая логика

Кл.слова (ненормированные): АКСИОМАТИЧЕСКАЯ ТЕОРИЯ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ЛОГИКА КЛАССОВ -- НЕПОЛНОТА АРИФМЕТИКИ -- ТЕОРИЯ ЧИСЕЛ
Аннотация: Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о полноте исчисления предикатов и неполноте арифметики. Книга предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования.
Доп. точки доступа:
Чернявский, В.С.\пер.\
Яновская, С.А.\ред.\
Goodstein, R. L.

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д/29815)

Шифр в сводном ЭК: 1a1e9fb0f2367ccfdaedc58ce8281481

Заказать издание
Заказ фрагмента документа ₽