Энгелер Эрвин. Метаматематика элементарной математики

Перевод с немецкого Г.Е. Минца. — М.: Мир, 1987. — 128 с.Книга швейцарского математика вышла в серии учебников для высшей школы издательства «Шпрингер». Она рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики. В ней коротко описываются проблемы обоснования теории вещественных чисел, аксиоматика геометрии, понятие алгоритма. В частности, многих читателей заинтересуют обсуждение проблем геометрических построений ограниченными средствами, а также изложение разрешающего алгоритма для элементарной алгебры и геометрии.
Для читателей, интересующихся основаниями математики.