Об аксиоматизации конечнозначных логических исчислений О.М. Аншаков; С.В. Рычков — 1984 Matematiceskij sbornik