A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains | UPT Perpustakaan UHAMKA