RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1983
Volume 273,
Number 5,
Pages
1045–1048
(Mi dan9838)
This article is cited in
3
papers
MATHEMATICS
Dynamic logic over admissible sets
Yu. L. Ershov
Institute of Mathematics, Siberian Branch of USSR Academy of Sciences, Novosibirsk
UDC:
510.5
+
519.68
Received: 19.04.1983
Fulltext:
PDF file (615 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025
Fulltext:
PDF file (615 kB)