Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences | UPT Perpustakaan UHAMKA