I have written a short ¡­

I have written a short introduction on proofs, sets and functions that is available under the heading "Extra material for the textbook". The first lecture will be based on this material (although I will probably not have time to cover everything).