1.-Logic-and-Proofs.pdf