Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras

From MaRDI portal
(Redirected from Publication:1260029)