Пензов математическая логика

  • Пензов Ю.П. Элементы математической логики и теории множеств. – Саратов, Изд. Саратовского ун-та, 1968. -144 с.
    Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962—66 гг. В § 1 вводятся основные понятия теории множеств. В § 2 и § 3 излагаются элементы содержательного исчисления высказываний и предикатов. Формальное исчисление высказываний и предикатов не затрагивается. В § 4 и §5 логика предикатов применяется для построения начал алгебры подмножеств и теории бинарных отношений. В § 6 на основе теории бинарных отношений излагаются начальные сведения по теории отображений и преобразований множеств. Каждый параграф книги снабжен упражнениями.