Lectures in Proofs and Reasoning