Cover semantics for quantified lax logic | UPT Perpustakaan UHAMKA