"Основы формальных логических языков" - читать интересную книгу автора (Коротков М.А., Степанов Е.А.)