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