О свойствах суперинтуиционистских пропозициональных исчислений. В.И. Хомич — 1990 Sibirskij matematiceskij zurnal