Дискретная математика и математическая логика (Аляев Ю.А.)