Название: Элементы математической логики и теории множеств Автор: Пензов Ю.Е. Издательство: Саратовский университет Год: 1968 Формат: pdf Страниц: 143 Размер: 25,4 Мб Язык: Русский
Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место.