ISBN: 978-5-397-00528-9
Внешнее покрытие издания: в обл.
Фамилия автора в заголовке: Гудстейн
Инициалы автора (личного имени (имен)): Р. Л.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Математическая логика
Сведения, относящиеся к заглавию: Пер. с англ.
Первые сведения об ответственности: Р. Л. Гудстейн
Сведения об издании: 2-е изд.
Место издания: М.
Издатель: Книжный дом "ЛИБРОКОМ"
Дата издания: 2010
Объем издания (количество страниц): 160
Высота, см.: 22
Заглавие серии: Физико-математическое наследие: математика (основная математика и логика)
Индекс УДК: 51
Статус записи (Тип информации): В наличии
Ширина, см: 14,5
Толщина, см: 1
Вес в граммах: 158
Артикул: 1979064
Аннотация:

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