Elements of Logic and Foundations of Mathematics in Problems door Marek, Wiktor