Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1979_247_4_a0, author = {A. P. Akimov}, title = {On imbeddings of classical modal calculi in constructive calculi}, journal = {Doklady Akademii Nauk}, pages = {777--778}, publisher = {mathdoc}, volume = {247}, number = {4}, year = {1979}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1979_247_4_a0/} }
A. P. Akimov. On imbeddings of classical modal calculi in constructive calculi. Doklady Akademii Nauk, Tome 247 (1979) no. 4, pp. 777-778. http://geodesic.mathdoc.fr/item/DAN_1979_247_4_a0/