DLSU-Manila University Library, 29 Feb 2016 #BookCoverSpotlight #bookyoucandownload Title: Advances in Proof-Theoretic…