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

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

Мн.: Вышэйшая школа, 1977, cс. 65 — 68.

Продолжение см. здесь.