И. А. Лавров Математическая логика

Изд.: Академия, 2006 г.

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