16 1. PAIRS, RELATIONS, AND FUNCTION S
Paul R. Halmos, Naive Set Theory, van Nostrand, 1960, and Springer-Verlag,
Keith Devlin, Sets, Functions, and Logic, Chapman & Hall, 1992.
Douglas Smith, Maurice Eggen, and Richard St. Andre, A Transition to Ad-
vanced Mathematics, Brooks/Cole, 1990.
If you feel that you know all the necessary concepts, but that it would not hurt
to refresh your knowledge by doing a few more exercises, we recommend:
Wiktor Marek and Janusz Onyszkiewicz, Elements of Logic and Foundations of
Mathematics in Prohlems, Kluwer Academic Publishers or Polish Scientific Pub-
The latter has all the exercises you may want to do, and even a few more than
Finally, if you think this book is at the right level for you, but you would rather
read one of the competing books on the market, please feel free to do so. For the
obvious reasons, we do not recommend any of them.