Математическая логика. Пер. с англ.

Серия:Физико-математическое наследие: математика (основания математики и логика)

Автор:Р. Л. Гудстейн

Издательство:Либроком

Страниц:160

Год:2010

Обложка:Мягкий переплет

Размер:60x90/16

SKU:RU341380

ISBN:9785397005289

Наша цена:US $32.00

Отправляется через 16-24 дня

Описание

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