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

Оставим за скобками споры о том, нужно ли программисту знать математику (по секрету - еще как нужно) и расскажем о том, что учить и главное где учить. Данная статья ориентирована, в первую очередь, на практикующих программистов, но совершенно точно не будет лишней и всем тем, кто только собирается изучать программирование. Почему математика программисту абсолютно необходима? Это ваш базис, на котором будет строиться цепь алгоритмов, которые являются основой любой программы, которую программист описывает...