Математическая логика
- Sərlövhə:
- Математическая логика
- Müəllif:
- Лавров Игорь
- Nəşr ili:
- 2006
- Annotasiya:
- В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии.
Biblioqrafik təsvir
Лавров, Игорь Андреевич. Математическая логика: учебное пособие / И. А. Лавров; под ред. Л. Л. Максимовой.- М.: ИЦ Академия, 2006.- 240 с.