Поправки к статье “О конечно аксиоматизируемых суперинтуиционистских логиках” (ДАН, т. 195, № 6, 1970 г.)

V. Ya. Gerchiu, A. V. Kuznetsov