The Foundations: Logic and Proofs