Полное описание
>
51/Г 935
Гудстейн, Рейбен Луис. Математическая логика / Р. Л. Гудстейн ; перевод с английского В. С. Чернявского ; под редакцией и с предисловием С. А. Яновской. - Москва : Изд-во иностранной литературы, 1961. - 161, [1] с. - (Библиотека сборника "Математика"). - Библиогр.: с. 142-148. - Указ. содерж., терминов , фамилий: с. 155-159. - Указ. обозначений: с. 160-161. - Пер. изд.: Mathematical logik / R. L. Goodstein. - 1957. - Тираж не указ. - 20 р. - Текст : непосредственный.
ГРНТИ | УДК | |
27.03.19 | 510 |
Рубрики:
Математическая логика
Кл.слова (ненормированные): аксиоматическая теория -- исчисление предикатов -- теория чисел -- неполнота арифметики -- логика классов
Аннотация: Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о полноте исчисления предикатов и неполноте арифметики. Книга предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования.
Доп. точки доступа:
Чернявский, В.С.\пер.\
Яновская, С.А.\ред.\
Goodstein, R. L.
>
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Заказ фрагмента документа ₽