Matematicheskaja logika i teorija algoritmov

Bok