Энглер. Метаматематика элементарной математики.
http://lib1.org/_ads/8370AD1CA378478C505BB486403A25B1
Глава I. Континуум 7
§ 1. Что такое вещественные числа? 7
§ 2. Язык как часть математики 12
§ 3. Элементарная теория вещественных чисел 22
§ 4. Нестандартный анализ 37
§ 5. Аксиома выбора и континуум-гипотеза 48
Глава II. Геометрия 55
§ 1. Пространство и математика 55
§ 2. Аксиоматизация посредством координатизации ... 57
§ 3. Вопросы теории науки и методы элементарной
геометрии 68
§ 4. Геометрические построения 80
Глава III. Алгоритмика 91
§ 1. Что такое вычислительное предписание? 91
§ 2. Существование комбинаторных алгебр: комбинаторная
логика 98
§ 3. Конкретные комбинаторные алгебры 105
§ 4. Ламбда-исчисление * НО
§ 5. Вычислимость и комбинаторы 115