TY  - JOUR
AU  - L. L. Maksimova
TI  - The calculus of strict implication
JO  - Algebra i logika
PY  - 1968
SP  - 55
EP  - 76
VL  - 7
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1968_7_2_a5/
LA  - ru
ID  - AL_1968_7_2_a5
ER  -