Проблема выводимости в конструктивном исчислении высказываний с сильным отрицанием

dc.contributor.author	Воробьев, Н. Н.
dc.coverage.spatial	Москва	ru_RU
dc.date.accessioned	2026-04-10T09:58:14Z
dc.date.available	2026-04-10T09:58:14Z
dc.date.issued	1952-08-01
dc.identifier.citation	Воробьев, Н. Н. Проблема выводимости в конструктивном исчислении высказываний с сильным отрицанием / Н. Н. Воробьев // Доклады Академии Наук СССР. — 1952. — Т. LXXXV, № 4 — С. 689—692.	ru_RU
dc.identifier.uri	https://elib.gstu.by/handle/220612/47542
dc.language.iso	ru	ru_RU
dc.publisher	Издательство Академии Наук СССР	ru_RU
dc.subject	Математика	ru_RU
dc.title	Проблема выводимости в конструктивном исчислении высказываний с сильным отрицанием	ru_RU
dc.type	Article	ru_RU