Intuitionistic implication without disjunction | UPT Perpustakaan UHAMKA