[1]
М. Рыбаков, «Сложность проблемы разрешения базисной и формальной логик.»,
ЛИ
, т. 10, сс. 158-166, ноя. 2003.