О некоторых логических проблемах арифметики / Н. А. Шанин. — Москва : Издательство Академии наук СССР, 1955. — 111, [1] с. — (Труды Математического института имени В. А. Стеклова ; т. 43) - Шанин, Н. А. (Труды Математического института имени В. А. Стеклова, 1955)