Воробьев, Н. Н. Проблема выводимости в конструктивном исчислении высказываний с сильным отрицанием / Н. Н. Воробьев // Доклады Академии Наук СССР. — 1952. — Т. LXXXV, № 4 — С. 689—692.