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