Proofs and Computations: LOGIC