Geodesic
Dynamic logic over admissible sets
Doklady Akademii Nauk, Tome 273 (1983) no. 5, pp. 1045-1048.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{DAN_1983_273_5_a3,
     author = {Yu. L. Ershov},
     title = {Dynamic logic over admissible sets},
     journal = {Doklady Akademii Nauk},
     pages = {1045--1048},
     publisher = {mathdoc},
     volume = {273},
     number = {5},
     year = {1983},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1983_273_5_a3/
%G ru
%F DAN_1983_273_5_a3
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/