Elements of logic and foundations of mathematics in problems - Marek, Wiktor (D. Reidel, 1982)