Proofs and Computations (Perspectives in Logic)