Proofs and Algorithms: An Introduction to Logic and