Основы теоретической логики. Пер. с нем.

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

Автор:Гильберт Д., Аккерман В.

Издательство:КомКнига

Страниц:304

Год:2010

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

Размер:60x90/16

SKU:RU341662

ISBN:9785484011445

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

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

Описание

Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги вырос из курса лекций выдающегося математика конца ХIX -- начала XX вв. Д.Гильберта и был в окончательном виде подготовлен его учеником В.Аккерманом. Книга содержит систематическое построение аппарата математической логики; авторы строго ограничивают себя самым необходимым материалом, но зато дают все детали доказательств.Руководство написано очень сжато и лаконично и рассчитано на читателей, привыкших пользоваться математической литературой, в том числе студентов и преподавателей математических вузов. Для более широкого круга читателей будут полезны комментарии-пояснения, расположенные в конце книги.