Doklady Akademii Nauk, Tome 273 (1983) no. 5, pp. 1045-1048
Citer cet article
Yu. L. Ershov. Dynamic logic over admissible sets. Doklady Akademii Nauk, Tome 273 (1983) no. 5, pp. 1045-1048. http://geodesic.mathdoc.fr/item/DAN_1983_273_5_a3/
@article{DAN_1983_273_5_a3,
author = {Yu. L. Ershov},
title = {Dynamic logic over admissible sets},
journal = {Doklady Akademii Nauk},
pages = {1045--1048},
year = {1983},
volume = {273},
number = {5},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1983_273_5_a3/}
}
TY - JOUR
AU - Yu. L. Ershov
TI - Dynamic logic over admissible sets
JO - Doklady Akademii Nauk
PY - 1983
SP - 1045
EP - 1048
VL - 273
IS - 5
UR - http://geodesic.mathdoc.fr/item/DAN_1983_273_5_a3/
LA - ru
ID - DAN_1983_273_5_a3
ER -
%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
%U http://geodesic.mathdoc.fr/item/DAN_1983_273_5_a3/
%G ru
%F DAN_1983_273_5_a3
