Основы теоретической логики. Пер. с нем.
ISBN | 978-5-484-01144-5 |
Автор | Гильберт Д., Аккерман В. |
Издательство | КомКнига |
Переплет | ОБЛ |
Формат | 60x90/16 |
Серия | Физико-математическое наследие: математика (основания математики и логика) |
Вес, гр | 290 |
Год | 2010 |
Стр. | 304 |
Сроки выполнения | Уточняем в течение 24 часов после оформления заказа |
ID | 40УР |
Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги вырос из курса лекций выдающегося математика конца ХIX -- начала XX вв. Д.Гильберта и был в окончательном виде подготовлен его учеником В.Аккерманом. Книга содержит систематическое построение аппарата математической логики; авторы строго ограничивают себя самым необходимым материалом, но зато дают все детали доказательств.Руководство написано очень сжато и лаконично и рассчитано на читателей, привыкших пользоваться математической литературой, в том числе студентов и преподавателей математических вузов. Для более широкого круга читателей будут полезны комментарии-пояснения, расположенные в конце книги.