51 Г935 Гудстейн, Р. Л. Математическая логика [Текст] / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского, под ред. и с предисл. С. А. Яновской. - Москва : Изд-во иностранной литературы, 1961. - 161, [1] с. - (Б-ка сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - 1957. - (в обл.) : 0.55 р. Рубрики: Математическая логика Аннотация: Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Брошюра Гусейна может служить кратким введением в математическую логику. От других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Геделя о полноте исчисления предикатов и неполноте арифметики. Брошюра предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования. Русский перевод снабжен примечаниями, в основном преследующими цель облегчить понимание более трудных мест текста. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Чернявский, В. С. \пер. с англ.\; Яновская, С. А. \ред.\; Goodstein, R. L. Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |