Expressing versus Proving: Relating Forms of Complexity in Logic | UPT Perpustakaan UHAMKA