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