Введение в логику.

Логический словарь-справочник