TY  - BOOK
AU  - Гудстейн,Р.Л.
AU  - Чернявский,В.С.
AU  - Яновский,С.А.
TI  - Математическая логика
PY  - 1961///
CY  - М.
PB  - Изд-во иностр. лит.
KW  - მათემატიკური ლოგიკა
KW  - სახელმძღვანელო
N1  - Доп. тит. л. на англ. яз; Указ. содержания, терминов, фамилий: с.155-159; Указ. обозначений: с.160-161
N2  - Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей.Брошюра Гудстейна может служить кратким введением в математическую логику. От других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о полноте исчисления предикатов и неполноте арифметики.Брошюра предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования.Русский перевод снабжен примечаниями, в основном преследующими цель облегчить понимание более трудных мест текста
ER  -