"Дискретная математика и математическая логика" - читать интересную книгу автора (Аляев Ю.А., Тюрин С.Ф.)