Лекции по дискретной математике. Математическая логика. Зарипова Э.Р