A Note on Expressive Coalgebraic Logics for Finitary Set Functors | UPT Perpustakaan UHAMKA