Deduction-detachment theorem in hidden k-logics | UPT Perpustakaan UHAMKA