RUS
ENG
Full version
JOURNALS
// Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
// Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.,
1991
Number 6,
Pages
86–90
(Mi vmumm3934)
Short notes
Modal logics that are conservative over intuitionistic predicate calculus
P. G. Naumov
UDC:
510.65
Received:
17.12.1990
Fulltext:
PDF file (567 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (567 kB)