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