On a coalgebraic view on Logic | UPT Perpustakaan UHAMKA