Mathematical Proofs and Logic