RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1979 Volume 247, Number 4, Pages 777–778 (Mi dan42879)

MATHEMATICS

On imbeddings of classical modal calculi in constructive calculi

A. P. Akimov

Moscow Institute of Physics and Technology, Dolgoprudny, Moscow region

UDC: 51.01:164

Presented: A. A. Dorodnitsyn
Received: 07.02.1979



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025