Arithmetical Completeness of the Intuitionistic Logic of Proofs | UPT Perpustakaan UHAMKA