Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1964_3_3_a4, author = {L. L. Maksimova}, title = {On an axiom system for a calculus of strict implication}, journal = {Algebra i logika}, pages = {59--68}, publisher = {mathdoc}, volume = {3}, number = {3}, year = {1964}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1964_3_3_a4/} }
L. L. Maksimova. On an axiom system for a calculus of strict implication. Algebra i logika, Tome 3 (1964) no. 3, pp. 59-68. http://geodesic.mathdoc.fr/item/AL_1964_3_3_a4/