Подробное описание документа

Лавров И. А.
   Математическая логика : учеб. пособие для вузов / Лавров И. А. ; ред. Максимова Л. Л. - М. : Академия, 2006. - 239 с. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 230. - ISBN 5-7695-2735-8.

Аннотация

В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии.
Для студентов высших учебных заведений.

УДК

510.6 Математическая логика

Предметные рубрики

• Математическая логика - Учебники и пособия

Общее кол-во в фондах

6 экз.

1. Абонемент старших курсов, ГУК, ауд. 213
2. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
3. Преподавательский абонемент ауд.313, ГУК, ауд. 313
4. Читальный зал ауд.305л, УЛК, ауд. 305л
5. Читальный зал ауд.313, ГУК, ауд. 313