В. Розен

Логико-алгебраические основы дискретной математики