暂无分享,去创建一个
L. L. Maksimova
[1] L. Maksimova. Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras , 1979 .
[2] L. Maksimova. Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras , 1977 .