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