Основы теоретической логики - 2 изд.
Автор:
Гильберт Д., Аккерман В., 304 стр., серия:
"Физико-математическое наследие: математика (основания математики и логика)",
издатель:
"КомКнига", ISBN:
978-5-484-01144-5
Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги вырос из курса лекций выдающегося математика конца ХIX - начала XX вв. Д. Гильберта и был в окончательном виде подготовлен его учеником В. Аккерманом. Книга содержит систематическое построение аппарата математической логики; авторы строго ограничивают себя самым необходимым материалом, но зато дают все детали доказательств. Руководство написано очень сжато и лаконично и рассчитано на читателей, привыкших пользоваться математической литературой, в том числе студентов и преподавателей математических вузов. Для более широкого круга читателей будут полезны комментарии-пояснения, расположенные в конце книги.
Рейтинг книги:



4 из 5,
3 голос(-ов).