%0 Journal Article
%A Yu. L. Ershov
%T Dynamic logic over admissible sets
%J Doklady Akademii Nauk
%D 1983
%P 1045-1048
%V 273
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1983_273_5_a3/
%G ru
%F DAN_1983_273_5_a3