Основы теоретической логики
Поделись книгой!
Автор: Д. Гильберт,
В. Аккерман
Издательство: КомКнига, 2010
Переводчик: А. Ерофеев
Редактор: С. Яновская
Переплёт: Мягкая обложка, 306 страниц
Серия: Физико-математическое наследие: основания математики и логика
Категория: Научная литература
ISBN: 978-5-484-01144-5
Где найти книгу?
📕 Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками.
Материал книги вырос из курса лекций выдающегося математика конца XIX - начала XX вв. Д.Гильберта и был в окончательном виде подготовлен его учеником В.Аккерманом.
Книга содержит систематическое построение аппарата математической логики; авторы строго ограничивают себя самым необходимым материалом, но зато дают все детали доказательств.
Руководство написано очень сжато и лаконично, и рассчитано на читателей, привыкших пользоваться математической литературой, в том числе студентов и преподавателей математических вузов. Для более широкого круга читателей будут полезны комментарии-пояснения, расположенные в конце книги.
Материал книги вырос из курса лекций выдающегося математика конца XIX - начала XX вв. Д.Гильберта и был в окончательном виде подготовлен его учеником В.Аккерманом.
Книга содержит систематическое построение аппарата математической логики; авторы строго ограничивают себя самым необходимым материалом, но зато дают все детали доказательств.
Руководство написано очень сжато и лаконично, и рассчитано на читателей, привыкших пользоваться математической литературой, в том числе студентов и преподавателей математических вузов. Для более широкого круга читателей будут полезны комментарии-пояснения, расположенные в конце книги.
Мнения