Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...

Феликс Мендельсон родился в 1809 году в богатой еврейской семье в Гамбурге. Его дед — философ Мозес Мендельсон. Его дом — салон культуры. Его мама — первая учительница. Он заговорил рано, играл рано, писал сонаты в 11, в 17 сочинил "Сон в летнюю ночь", включая тот самый Свадебный марш, который теперь звучит во всех ЗАГСах. Мендельсон не только писал музыку: Он возродил Баха, чьи партитуры были забыты. Благодаря ему снова зазвучал "Страсти по Матфею". То есть Бах — в наших ушах благодаря Мендельсону...