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

Воробьев, Николай Николаевич, 1952

Москва

12 стр.