Плиско В.Е. - Введение в математическую логику - 6. Исчисление высказываний
Введение в математическую логику
Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...
«Математическая логика» Ю. Л. Ершов, Е. А. Палютин В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов. Это и многое другое вы найдете в книге Математическая логика (Ю. Л. Ершов, Е. А. Палютин). Напишите свою рецензию о книге Ю. Л. Ершов, Е. А. Палютин «Математическая логика» https://izbe.ru/book/433586-matematicheskaya-logika-yu-l-ershov-e-a-palyutin/