Title: Matematičeskaâ logika i teoriâ algoritmov