Учебник для студентов гуманитарных специальностей вузов.
Рассмотрены элементы логики классов, логики высказываний и логики предикатов. Содержит материал для усвоения аналитико- табличного метода доказательств и около 1800 задач разной степени сложности с методическими пояснениями.