Начало см. здесь.

Карпов В. Г., Мощенский В. А.
Математическая логика и дискретная математика.

Мн.: Вышэйшая школа, 1977, c. 87.

Стюарт Я.
Концепции современной математики.

Пер. с англ., Мн.: Вышэйшая школа, 1980, сс. 80 — 81.

Андерсон Д. А.
Дискретная математика и комбинаторика.

М.: , 2004, cc. 74 — 75.