Шанин, Н. А. О некоторых операциях над логико-арифметическими формулами / Н. А. Шанин // Доклады Академии Наук СССР. — 1953. — Т. XCIII, № 5 — С. 779—782.