Some quantifier-based challenges, largely from Douglas Hofstadter's (brilliant) book Godel, Escher, Back.
A particularly special proof techniques
Good luck!
Once again, good luck! Check your answers with your friends or set up a collaborative answer key or something.