%0 Journal Article %A L. L. Maksimova %A D. P. Skvortsov %A V. B. Shehtman %T Impossibility of finite axiomatization of Medvedev's logic of finite problems %J Doklady Akademii Nauk %D 1979 %P 1051-1054 %V 245 %N 5 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1979_245_5_a6/ %G ru %F DAN_1979_245_5_a6