Logic and set theory textbook for high school Do you have any advice for a textbook or a book for high schools students which completely adresses basics of logic (proposition, implication, and, or, quantifiers) and set theory (intersection, inclusion,...)?
The book is for freshmen in a high school for science and maths gifted students so it can be a bit theoritical (involving some maths notation). 
I have no idea of which book to use so any advice is welcome :). My only thought for the moment is to write the course notes myself, and use some books of Smullyan for examples and make it more entertaining.
Thank in advance.

How to Prove It: A Structured Approach by D. J. Velleman.
