Elements of logic and foundation of mathematics in problems. - Marek Wiktor; Onyszkiewicz Janusz (1982)