Elements of Logic and Foundations of Mathematics in Problems