Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

38. O'Donnell J., С Hall and R. Page. Discrete Mathematics using a Computer. Second Edition. Springer. 2006. -440 p. 260