Логика в информатике: Методическое пособие - Лыскова В. Ю. Вероника Юрьевна (Информатика)