Rights and permissions
About this article
Cite this article
Брыль, Г. Новое Доказательство Полноты Одной Системы Исчисления Высказываний. Stud Logica 19, 116 (1966). https://doi.org/10.1007/BF02186733
Issue Date:
DOI: https://doi.org/10.1007/BF02186733