Title: Sets, Functions and Logic