Teori︠i︡a numera︠t︡siĭ - Ershov, ︠I︡Uriĭ Leonidovich (Matematicheska︠i︡a logika i osnovani︠i︡a matematiki., 1977)