TY  - JOUR
AU  - О.М. Аншаков
AU  - С.В. Рычков
TI  - Об аксиоматизации конечнозначных логических исчислений
JO  - Matematičeskij sbornik
PY  - 1984
SP  - 477
EP  - 495
VL  - 165
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1984__165_4_a1/
LA  - ru
ID  - MS_1984__165_4_a1
ER  -