Logic And Proofs