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

1) Плиний Старший, живший в I веке нашей эры, был самым влиятельным ученым-естествоиспытателем античности. Его 37-томная "Естественная история" оставалась главным авторитетным источником по научным вопросам вплоть до Средневековья. Труд Плиния был настолько значимым, что когда кто-то наконец решился оспорить его учение, сам автор уже более тысячи лет как покоился с миром. Ирония судьбы: Плиний погиб во время извержения Везувия в 79 году н.э., когда решил подойти поближе к вулкану, чтобы лучше его рассмотреть...