Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги вырос из курса лекций выдающегося математика конца ХIX — начала XX вв. Д.Гильберта и был в окончательном виде подготовлен его учеником В.Аккерманом. Книга содержит систематическое построение аппарата математической логики; авторы строго ограничивают себя самым необходимым материалом, но зато дают все детали доказательств.
Руководство написано очень сжато и лаконично и рассчитано на читателей, привыкших пользоваться математической литературой, в том числе студентов и преподавателей математических вузов. Для более широкого круга читателей будут полезны комментарии-пояснения, расположенные в конце книги.
Основы теоретической логики. Пер. с нем.
Художественная литератураВниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги вырос из курса лекций выдающегося математика конца ХIX — начала XX вв. Д.Гильберта и был в окончательном виде подготовлен его учеником В.Аккерманом. Книга содержит систематическое построение аппарата математической логики; авторы строго ограничивают себя самым необходимым материалом, но зато дают все детали доказательств.
Руководство написано очень сжато и лаконично и рассчитано на читателей, привыкших пользоваться математической литературой, в том числе студентов и преподавателей математических вузов. Для более широкого круга читателей будут полезны комментарии-пояснения, расположенные в конце книги.
$30.49
Вес | 10.2 унция |
---|---|
Габариты | 8.5 × 5.7 × 1.0 дюйм |
ISBN | 978-5-484-01144-5 |
формат | 60×90/16 |
Издательство | |
Серия | Физико-математическое наследие: математика (основания математики и логика) |
переплет | Мягкий переплет |
Автор | |
стандарт | 22 |
дата-получения | 21.09.2011 |
Год выпуска | |
EAN | 9785484011445 |
количество-страниц | 304 |
SKU | 110171 |
формат-ммсм | 145×215 |
Язык | |
тип-издания | Отдельное издание |
тираж | 10 |
handling_time | 30 days |