Writing Proofs
Solution to exercise 1
Solution to exercise 2
Solution to exercise 3
Solution to exercise 4
Solution to exercise 5