Sets, Functions and Logic