Гудстейн, Р. Л.

Математическая логика / Р. Л. Гудстейн; пер. с англ. В. С. Чернявского; под ред. С. А. Яновской. - Изд-во иностр. лит., 1961. - 161, [1] с. : ил. - Библиотека сборник "Математика". .

Доп. тит. л. на англ. яз.

Указ. содержания, терминов, фамилий: с.155-159; Указ. обозначений: с.160-161

Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей.Брошюра Гудстейна может служить кратким введением в математическую логику. От других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о полноте исчисления предикатов и неполноте арифметики.Брошюра предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования.Русский перевод снабжен примечаниями, в основном преследующими цель облегчить понимание более трудных мест текста.

მათემატიკური ლოგიკა სახელმძღვანელო

510.6(075.8)