Geodesic
Formal deductions in the calculus of strict implication
Algebra i logika, Tome 5 (1966) no. 6, pp. 33-39

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{AL_1966_5_6_a3,
     author = {L. L. Maksimova},
     title = {Formal deductions in the calculus of strict implication},
     journal = {Algebra i logika},
     pages = {33--39},
     publisher = {mathdoc},
     volume = {5},
     number = {6},
     year = {1966},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_1966_5_6_a3/}
}
TY  - JOUR
AU  - L. L. Maksimova
TI  - Formal deductions in the calculus of strict implication
JO  - Algebra i logika
PY  - 1966
SP  - 33
EP  - 39
VL  - 5
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1966_5_6_a3/
LA  - ru
ID  - AL_1966_5_6_a3
ER  - 
%0 Journal Article
%A L. L. Maksimova
%T Formal deductions in the calculus of strict implication
%J Algebra i logika
%D 1966
%P 33-39
%V 5
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1966_5_6_a3/
%G ru
%F AL_1966_5_6_a3
L. L. Maksimova. Formal deductions in the calculus of strict implication. Algebra i logika, Tome 5 (1966) no. 6, pp. 33-39. http://geodesic.mathdoc.fr/item/AL_1966_5_6_a3/