Hybrid Functional Interpretations of Linear and Intuitionistic Logic | UPT Perpustakaan UHAMKA