Математическая логика
- Заглавие:
- Математическая логика
- Автор:
- Лавров Игорь
- Год издания:
- 2006
- Аннотация:
- В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии.
Библиографическое описание
Лавров, Игорь Андреевич. Математическая логика: учебное пособие / И. А. Лавров; под ред. Л. Л. Максимовой.- М.: ИЦ Академия, 2006.- 240 с.