"Символическая логика" - читать интересную книгу автора (Маркин В.И., Брюшинкин В.Н. (авт.-сост.))