Discrete mathematics and mathematical cybernetics

Mathematical logic

Odintsov S. P.
Стр. 730-748
Yershov D. O., Kulpeshov B. Sh.
Стр. 756-765