Analytic Methods for the Logic of Proofs | UPT Perpustakaan UHAMKA