Matematicheska︠i︡a teori︠i︡a logicheskogo vyvoda; sbornik perevodov - Idelʹson, A. V. (Matematicheska︠i︡a logika i osnovani︠i︡a matematiki., 1967)