Элементы математической логики
Интенсивное развитие математической логики в последнее время сопровождается увеличением её роли в математике. Одной из основных задач математической логики остаётся анализ оснований математики. Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики. Из её идей возникло точное определение понятия алгоритма, что позволило решить многие...