Trudy Matematičeskogo instituta imeni V. A. Steklova / Vypusk 43 O nekotorych logičeskich problemach arifmetiki - Šanin, N. A. (Moskva : Akademija nauk SSSR, 1955)
Obsahuje bibliografiu